private static KifSequence <KifIndividualVariable> checkArgs(KifIndividualVariable arg)
{
if (arg == null)
{
throw new ArgumentNullException("individual variable cann't be null");
}
return(new KifSequence <KifIndividualVariable>(arg));
}
protected void createSlot(string frameName, Slot slot)
{
KifIndividualVariable frameVar = new KifIndividualVariable("Frame");
KifIndividualVariable valueVar = new KifIndividualVariable("Value");
KifSequence <KifIndividualVariable> args = new KifSequence <KifIndividualVariable>(frameVar);
args.addItem(valueVar);
OntolinguaDefineRelation relation = new OntolinguaDefineRelation(slot.iden, null, args);
KifSequence <KifSentence> conjs = new KifSequence <KifSentence>();
conjs.addItem(
new KifRelationalSentence(new KifConstant(frameName),
new KifConcreteTerm <KifIndividualVariable>(frameVar)));
conjs.addItem(
new KifRelationalSentence(new KifConstant(slot.slotType),
new KifConcreteTerm <KifIndividualVariable>(valueVar)));
relation.DefSentence = new KifConjunction(conjs);
_model.addObject(relation);
}
public OntolinguaDefineClass(string name, Comment comment, KifIndividualVariable arg)
: base(name, comment, checkArgs(arg))
{
}
