=> (=>)
The truth-functional connective of implication.
Ontology
SUMO / STRUCTURAL-ONTOLOGYClass(es)
Coordinate term(s)
<=>
and
entails
exists
forall
not
or
Type restrictions
=>(sUtra, sUtra)
Related WordNet synsets
See more related synsets on a separate page.
Axioms (679)
Agar entity is an immediate instance of class, to yah kuch class subclass nahin, ki entity is an instance of subclass.
(=>
(immediateInstance ?ENTITY ?CLASS)
(not
(exists
(?SUBCLASS)
(and
(subclass ?SUBCLASS ?CLASS)
(instance ?ENTITY ?SUBCLASS)))))
Agar rel1 is an inverse of rel2, to sab-kuch inst1,inst2 ke lie hai, ki: rel1(inst1,inst2) holds agar hai rel2(inst2,inst1) holds.
(=>
(inverse ?REL1 ?REL2)
(forall
(?INST1 ?INST2)
(<=>
(holds ?REL1 ?INST1 ?INST2)
(holds ?REL2 ?INST2 ?INST1))))
subclass is a subclass of class agar hai
(<=>
(subclass ?SUBCLASS ?CLASS)
(and
(instance ?SUBCLASS SetOrClass)
(instance ?CLASS SetOrClass)
(forall
(?INST)
(=>
(instance ?INST ?SUBCLASS)
(instance ?INST ?CLASS)))))
Agar class1 is an immediate subclass of class2, to yah kuch class2 class3 nahin, ki class1 is a subclass of class3 aur class2 is not equal to class3 aur class1 is not equal to class3.
(=>
(immediateSubclass ?CLASS1 ?CLASS2)
(not
(exists
(?CLASS3)
(and
(subclass ?CLASS3 ?CLASS2)
(subclass ?CLASS1 ?CLASS3)
(not
(equal ?CLASS2 ?CLASS3))
(not
(equal ?CLASS1 ?CLASS3))))))
Agar pred1 is a subrelation of pred2 aur pred1 ke number konaanke bahanen hai, to pred2 ke number konaanke bahanen hai.
(=>
(and
(subrelation ?PRED1 ?PRED2)
(valence ?PRED1 ?NUMBER))
(valence ?PRED2 ?NUMBER))
Agar pred1 is a subrelation of pred2 aur the number number argument of pred2 is an instance of class1, to the number number argument of pred1 is an instance of class1.
(=>
(and
(subrelation ?PRED1 ?PRED2)
(domain ?PRED2 ?NUMBER ?CLASS1))
(domain ?PRED1 ?NUMBER ?CLASS1))
Agar rel1 is a subrelation of rel2 aur rel1() holds, to rel2() holds.
(=>
(and
(subrelation ?REL1 ?REL2)
(holds ?REL1 @ROW))
(holds ?REL2 @ROW))
Agar pred1 is a subrelation of pred2 aur pred2 is an instance of class aur class is an instance of inheritable relation, to pred1 is an instance of class.
(=>
(and
(subrelation ?PRED1 ?PRED2)
(instance ?PRED2 ?CLASS)
(instance ?CLASS InheritableRelation))
(instance ?PRED1 ?CLASS))
Agar the number number argument of rel is an instance of class1 aur the number number argument of rel is an instance of class2, to class1 is a subclass of class2 yaa class2 is a subclass of class1.
(=>
(and
(domain ?REL ?NUMBER ?CLASS1)
(domain ?REL ?NUMBER ?CLASS2))
(or
(subclass ?CLASS1 ?CLASS2)
(subclass ?CLASS2 ?CLASS1)))
Agar rel1 is a subrelation of rel2 aur the number number argument of rel2 is a subclass of class1, to the number number argument of rel1 is a subclass of class1.
(=>
(and
(subrelation ?REL1 ?REL2)
(domainSubclass ?REL2 ?NUMBER ?CLASS1))
(domainSubclass ?REL1 ?NUMBER ?CLASS1))
Agar the number number argument of rel is a subclass of class1 aur the number number argument of rel is a subclass of class2, to class1 is a subclass of class2 yaa class2 is a subclass of class1.
(=>
(and
(domainSubclass ?REL ?NUMBER ?CLASS1)
(domainSubclass ?REL ?NUMBER ?CLASS2))
(or
(subclass ?CLASS1 ?CLASS2)
(subclass ?CLASS2 ?CLASS1)))
Agar thing1 is equal to thing2, to sab-kuch attr ke lie hai, ki: thing1 has an attribute attr agar hai thing2 has an attribute attr.
(=>
(equal ?THING1 ?THING2)
(forall
(?ATTR)
(<=>
(property ?THING1 ?ATTR)
(property ?THING2 ?ATTR))))
Agar attr1 is equal to attr2, to sab-kuch thing ke lie hai, ki: thing has an attribute attr1 agar hai thing has an attribute attr2.
(=>
(equal ?ATTR1 ?ATTR2)
(forall
(?THING)
(<=>
(property ?THING ?ATTR1)
(property ?THING ?ATTR2))))
Agar thing1 is equal to thing2, to sab-kuch class ke lie hai, ki: thing1 is an instance of class agar hai thing2 is an instance of class.
(=>
(equal ?THING1 ?THING2)
(forall
(?CLASS)
(<=>
(instance ?THING1 ?CLASS)
(instance ?THING2 ?CLASS))))
Agar class1 is equal to class2, to sab-kuch thing ke lie hai, ki: thing is an instance of class1 agar hai thing is an instance of class2.
(=>
(equal ?CLASS1 ?CLASS2)
(forall
(?THING)
(<=>
(instance ?THING ?CLASS1)
(instance ?THING ?CLASS2))))
Agar rel1 is equal to rel2, to sab-kuch ke lie hai, ki: rel1() holds agar hai rel2() holds.
(=>
(equal ?REL1 ?REL2)
(forall
(@ROW)
(<=>
(holds ?REL1 @ROW)
(holds ?REL2 @ROW))))
(=>
(equal ?OBJ1 ?OBJ2)
(=>
(and
(equal
?OBJ1
(ListOrderFn
(ListFn @ROW1)
?NUMBER))
(equal
?OBJ2
(ListOrderFn
(ListFn @ROW2)
?NUMBER))
(equal
(ListFn @ROW1)
(ListFn @ROW2)))
(<=>
(holds @ROW1)
(holds @ROW2))))
- agar list1 is equal to list2,
- to agar list1 is equal to "()" aur list2 is equal to "()", to sab-kuch number ke lie hai, ki: "numberth element of "()"" is equal to "numberth element of "()""
.
(=>
(equal ?LIST1 ?LIST2)
(=>
(and
(equal
?LIST1
(ListFn @ROW1))
(equal
?LIST2
(ListFn @ROW2)))
(forall
(?NUMBER)
(equal
(ListOrderFn
(ListFn @ROW1)
?NUMBER)
(ListOrderFn
(ListFn @ROW2)
?NUMBER)))))
Agar range of function is an instance of class aur "function()" is equal to value, to value is an instance of class.
(=>
(and
(range ?FUNCTION ?CLASS)
(equal
(AssignmentFn ?FUNCTION @ROW)
?VALUE))
(instance ?VALUE ?CLASS))
Agar rel1 is a subrelation of rel2 aur range of rel2 is an instance of class1, to range of rel1 is an instance of class1.
(=>
(and
(subrelation ?REL1 ?REL2)
(range ?REL2 ?CLASS1))
(range ?REL1 ?CLASS1))
Agar range of rel is an instance of class1 aur range of rel is an instance of class2, to class1 is a subclass of class2 yaa class2 is a subclass of class1.
(=>
(and
(range ?REL ?CLASS1)
(range ?REL ?CLASS2))
(or
(subclass ?CLASS1 ?CLASS2)
(subclass ?CLASS2 ?CLASS1)))
Agar the values returned by function are subclasses of class aur "function()" is equal to value, to value is a subclass of class.
(=>
(and
(rangeSubclass ?FUNCTION ?CLASS)
(equal
(AssignmentFn ?FUNCTION @ROW)
?VALUE))
(subclass ?VALUE ?CLASS))
Agar rel1 is a subrelation of rel2 aur the values returned by rel2 are subclasses of class1, to the values returned by rel1 are subclasses of class1.
(=>
(and
(subrelation ?REL1 ?REL2)
(rangeSubclass ?REL2 ?CLASS1))
(rangeSubclass ?REL1 ?CLASS1))
Agar the values returned by rel are subclasses of class1 aur the values returned by rel are subclasses of class2, to class1 is a subclass of class2 yaa class2 is a subclass of class1.
(=>
(and
(rangeSubclass ?REL ?CLASS1)
(rangeSubclass ?REL ?CLASS2))
(or
(subclass ?CLASS1 ?CLASS2)
(subclass ?CLASS2 ?CLASS1)))
Agar and ? are disjoint aur rel is a member of "()", to rel is an instance of sambandha.
(=>
(and
(disjointRelation @ROW)
(inList
?REL
(ListFn @ROW)))
(instance ?REL Relation))
Agar and ? are disjoint aur rel1 is a member of "()" aur rel2 is a member of "()" aur rel1 ke number konaanke bahanen hai, to rel2 ke number konaanke bahanen hai.
(=>
(and
(disjointRelation @ROW)
(inList
?REL1
(ListFn @ROW))
(inList
?REL2
(ListFn @ROW))
(valence ?REL1 ?NUMBER))
(valence ?REL2 ?NUMBER))
Agar the number number argument of rel1 is an instance of class1 aur the number number argument of rel2 is an instance of class2 aur class1 asansavat class2 se hai, to rel1 and rel2 are disjoint.
(=>
(and
(domain ?REL1 ?NUMBER ?CLASS1)
(domain ?REL2 ?NUMBER ?CLASS2)
(disjoint ?CLASS1 ?CLASS2))
(disjointRelation ?REL1 ?REL2))
Agar the number number argument of rel1 is a subclass of class1 aur the number number argument of rel2 is a subclass of class2 aur class1 asansavat class2 se hai, to rel1 and rel2 are disjoint.
(=>
(and
(domainSubclass ?REL1 ?NUMBER ?CLASS1)
(domainSubclass ?REL2 ?NUMBER ?CLASS2)
(disjoint ?CLASS1 ?CLASS2))
(disjointRelation ?REL1 ?REL2))
Agar range of rel1 is an instance of class1 aur range of rel2 is an instance of class2 aur class1 asansavat class2 se hai, to rel1 and rel2 are disjoint.
(=>
(and
(range ?REL1 ?CLASS1)
(range ?REL2 ?CLASS2)
(disjoint ?CLASS1 ?CLASS2))
(disjointRelation ?REL1 ?REL2))
Agar the values returned by rel1 are subclasses of class1 aur the values returned by rel2 are subclasses of class2 aur class1 asansavat class2 se hai, to rel1 and rel2 are disjoint.
(=>
(and
(rangeSubclass ?REL1 ?CLASS1)
(rangeSubclass ?REL2 ?CLASS2)
(disjoint ?CLASS1 ?CLASS2))
(disjointRelation ?REL1 ?REL2))
Agar and ? are disjoint aur rel1 is a member of "()" aur rel2 is a member of "()" aur rel1 is not equal to rel2 aur rel1() holds, to rel2() doesn't hold.
(=>
(and
(disjointRelation @ROW1)
(inList
?REL1
(ListFn @ROW1))
(inList
?REL2
(ListFn @ROW1))
(not
(equal ?REL1 ?REL2))
(holds ?REL1 @ROW2))
(not
(holds ?REL2 @ROW2)))
(=>
(contraryAttribute @ROW)
(=>
(inList
?ELEMENT
(ListFn @ROW))
(instance ?ELEMENT Attribute)))
- agar is opposed to ?,
- to sab-kuch attr1,attr2 ke lie hai, ki:
.
(=>
(contraryAttribute @ROW)
(forall
(?ATTR1 ?ATTR2)
(=>
(and
(equal
?ATTR1
(ListOrderFn
(ListFn @ROW)
?NUMBER1))
(equal
?ATTR2
(ListOrderFn
(ListFn @ROW)
?NUMBER2))
(not
(equal ?NUMBER1 ?NUMBER2)))
(=>
(property ?OBJ ?ATTR1)
(not
(property ?OBJ ?ATTR2))))))
(=>
(exhaustiveAttribute ?CLASS @ROW)
(=>
(inList
?ATTR
(ListFn @ROW))
(instance ?ATTR Attribute)))
- agar exhaustive attribute(class,) ke lie hai, ki,
- to sab-kuch obj ke lie hai, ki: agar attr1 is an instance of class, to yah kuch attr2 nahin, ki attr2 is a member of "()" aur attr1 is equal to attr2
.
(=>
(exhaustiveAttribute ?CLASS @ROW)
(forall
(?OBJ)
(=>
(instance ?ATTR1 ?CLASS)
(exists
(?ATTR2)
(and
(inList
?ATTR2
(ListFn @ROW))
(equal ?ATTR1 ?ATTR2))))))
(=>
(exhaustiveDecomposition @ROW)
(=>
(inList
?ELEMENT
(ListFn @ROW))
(instance ?ELEMENT Class)))
(=>
(disjointDecomposition @ROW)
(=>
(inList
?ELEMENT
(ListFn @ROW))
(instance ?ELEMENT Class)))
(=>
(subAttribute ?ATTR1 ?ATTR2)
(forall
(?OBJ)
(=>
(property ?OBJ ?ATTR1)
(property ?OBJ ?ATTR2))))
Agar attr1 is a subattribute of attr2 aur attr2 is an instance of class, to attr1 is an instance of class.
(=>
(and
(subAttribute ?ATTR1 ?ATTR2)
(instance ?ATTR2 ?CLASS))
(instance ?ATTR1 ?CLASS))
Agar attr1 is an immediate successor attribute of attr2 aur entity has an attribute attr2 during time1, to yah kuch time2 nahin, ki time2 is a part of "before time1" aur entity has an attribute attr1 during time2.
(=>
(and
(successorAttribute ?ATTR1 ?ATTR2)
(holdsDuring
?TIME1
(property ?ENTITY ?ATTR2)))
(exists
(?TIME2)
(and
(temporalPart
?TIME2
(PastFn ?TIME1))
(holdsDuring
?TIME2
(property ?ENTITY ?ATTR1)))))
Agar attr1 is an immediate successor attribute of attr2, to attr1 is a successor attribute of attr2.
(=>
(successorAttribute ?ATTR1 ?ATTR2)
(successorAttributeClosure ?ATTR1 ?ATTR2))
Agar rel(,inst) holds aur rel is an instance of prakaarya, to "rel()" is equal to inst.
(=>
(and
(holds ?REL @ROW ?INST)
(instance ?REL Function))
(equal
(AssignmentFn ?REL @ROW)
?INST))
Agar class is an instance of varga, to class is a subclass of astitva.
(=>
(instance ?CLASS Class)
(subclass ?CLASS Entity))
Agar obj is an instance of aatmasambaddha vastu, to "the front of obj" is a part of obj.
(=>
(instance ?OBJ SelfConnectedObject)
(part
(FrontFn ?OBJ)
?OBJ))
Agar obj is an instance of aatmasambaddha vastu, to "the back of obj" is a part of obj.
(=>
(instance ?OBJ SelfConnectedObject)
(part
(BackFn ?OBJ)
?OBJ))
- agar substance1 is a piece of substance2,
- to sab-kuch class ke lie hai, ki: agar substance1 is an instance of class, to substance2 is an instance of class
.
(=>
(piece ?SUBSTANCE1 ?SUBSTANCE2)
(forall
(?CLASS)
(=>
(instance ?SUBSTANCE1 ?CLASS)
(instance ?SUBSTANCE2 ?CLASS))))
Agar objecttype is a subclass of padaartha aur object is an instance of objecttype aur part is a part of object, to part is an instance of objecttype.
(=>
(and
(subclass ?OBJECTTYPE Substance)
(instance ?OBJECT ?OBJECTTYPE)
(part ?PART ?OBJECT))
(instance ?PART ?OBJECTTYPE))
Agar obj is an instance of padaartha aur attr is an attribute of obj aur part is a part of obj, to attr is an attribute of part.
(=>
(and
(instance ?OBJ Substance)
(attribute ?OBJ ?ATTR)
(part ?PART ?OBJ))
(attribute ?PART ?ATTR))
Agar atom is an instance of aNu, to yah kuch protAzna proton,vidyudaNu electron nahin, ki proton is a component of atom aur electron is a component of atom.
(=>
(instance ?ATOM Atom)
(exists
(?PROTON ?ELECTRON)
(and
(component ?PROTON ?ATOM)
(component ?ELECTRON ?ATOM)
(instance ?PROTON Proton)
(instance ?ELECTRON Electron))))
(=>
(instance ?ATOM Atom)
(forall
(?NUCLEUS1 ?NUCLEUS2)
(=>
(and
(component ?NUCLEUS1 ?ATOM)
(component ?NUCLEUS2 ?ATOM)
(instance ?NUCLEUS1 AtomicNucleus)
(instance ?NUCLEUS2 AtomicNucleus))
(equal ?NUCLEUS1 ?NUCLEUS2))))
Agar particle is an instance of upa-aaNavika kaNa, to yah kuch aNu atom nahin, ki particle is a part of atom.
(=>
(instance ?PARTICLE SubatomicParticle)
(exists
(?ATOM)
(and
(instance ?ATOM Atom)
(part ?PARTICLE ?ATOM))))
Agar nucleus is an instance of aaNavika kendra, to yah kuch nyUrAzna neutron,protAzna proton nahin, ki neutron is a component of nucleus aur proton is a component of nucleus.
(=>
(instance ?NUCLEUS AtomicNucleus)
(exists
(?NEUTRON ?PROTON)
(and
(component ?NEUTRON ?NUCLEUS)
(component ?PROTON ?NUCLEUS)
(instance ?NEUTRON Neutron)
(instance ?PROTON Proton))))
Agar mixture is an instance of mishraNa, to yah kuch shuddha padaartha pure1,shuddha padaartha pure2 nahin, ki pure1 is not equal to pure2 aur pure1 is a piece of mixture aur pure2 is a piece of mixture.
(=>
(instance ?MIXTURE Mixture)
(exists
(?PURE1 ?PURE2)
(and
(subclass ?PURE1 PureSubstance)
(subclass ?PURE2 PureSubstance)
(not
(equal ?PURE1 ?PURE2))
(piece ?PURE1 ?MIXTURE)
(piece ?PURE2 ?MIXTURE))))
Agar obj is an instance of kaNikaa sambandhI padaartha, to yah kuch padaartha substance1,padaartha substance2 nahin, ki substance1 is made of obj aur substance2 is made of obj aur substance1 is not equal to substance2.
(=>
(instance ?OBJ CorpuscularObject)
(exists
(?SUBSTANCE1 ?SUBSTANCE2)
(and
(subclass ?SUBSTANCE1 Substance)
(subclass ?SUBSTANCE2 Substance)
(material ?SUBSTANCE1 ?OBJ)
(material ?SUBSTANCE2 ?OBJ)
(not
(equal ?SUBSTANCE1 ?SUBSTANCE2)))))
Agar region is an instance of kshetra, to yah kuch phys nahin, ki phys is located at region.
(=>
(instance ?REGION Region)
(exists
(?PHYS)
(located ?PHYS ?REGION)))
Agar coll is an instance of sangraha, to yah kuch obj nahin, ki obj is a member of coll.
(=>
(instance ?COLL Collection)
(exists
(?OBJ)
(member ?OBJ ?COLL)))
coll1 is a proper sub-collection of coll2 agar hai
(<=>
(subCollection ?COLL1 ?COLL2)
(and
(instance ?COLL1 Collection)
(instance ?COLL2 Collection)
(forall
(?MEMBER)
(=>
(member ?MEMBER ?COLL1)
(member ?MEMBER ?COLL2)))))
Agar string is an instance of saanketika taara, to yah kuch varNa part nahin, ki part is a part of string.
(=>
(instance ?STRING SymbolicString)
(exists
(?PART)
(and
(part ?PART ?STRING)
(instance ?PART Character))))
Agar lang is an instance of pashubhaashaa aur proc agent kaa kaaran hai aur lang is an instrument for proc, to agent is an instance of pashu aur agent is not an instance of maanava.
(=>
(and
(instance ?LANG AnimalLanguage)
(agent ?PROC ?AGENT)
(instrument ?PROC ?LANG))
(and
(instance ?AGENT Animal)
(not
(instance ?AGENT Human))))
Agar lang is an instance of saMgaNaka bhaashaa aur proc agent kaa kaaran hai aur lang is an instrument for proc, to agent is an instance of yantra.
(=>
(and
(instance ?LANG ComputerLanguage)
(agent ?PROC ?AGENT)
(instrument ?PROC ?LANG))
(instance ?AGENT Machine))
Agar lang is an instance of maanava bhaashaa aur proc agent kaa kaaran hai aur lang is an instrument for proc, to agent is an instance of maanava.
(=>
(and
(instance ?LANG HumanLanguage)
(agent ?PROC ?AGENT)
(instrument ?PROC ?LANG))
(instance ?AGENT Human))
Agar lang is an instance of nirmita bhaashaa, to yah kuch plan nahin, ki lang is a result of plan.
(=>
(instance ?LANG ConstructedLanguage)
(exists
(?PLAN)
(and
(instance ?PLAN Planning)
(result ?PLAN ?LANG))))
Agar process is an instance of dvi-vastu prakriyaa, to yah kuch obj1,obj2 nahin, ki obj1 is a patient of process aur obj2 is a patient of process aur obj1 is not equal to obj2.
(=>
(instance ?PROCESS DualObjectProcess)
(exists
(?OBJ1 ?OBJ2)
(and
(patient ?PROCESS ?OBJ1)
(patient ?PROCESS ?OBJ2)
(not
(equal ?OBJ1 ?OBJ2)))))
Agar number is an instance of kaalpanika anka, to yah kuch vaastavika anka real nahin, ki number is equal to "real*"the square root of "".
(=>
(instance ?NUMBER ImaginaryNumber)
(exists
(?REAL)
(and
(instance ?REAL RealNumber)
(equal
?NUMBER
(MultiplicationFn
?REAL
(SquareRootFn -1))))))
Agar number is an instance of sanyukta anka, to yah kuch vaastavika anka real1,vaastavika anka real2 nahin, ki number is equal to "(real1+"real2*"the square root of "")".
(=>
(instance ?NUMBER ComplexNumber)
(exists
(?REAL1 ?REAL2)
(and
(instance ?REAL1 RealNumber)
(instance ?REAL2 RealNumber)
(equal
?NUMBER
(AdditionFn
?REAL1
(MultiplicationFn
?REAL2
(SquareRootFn -1)))))))
Agar function is an instance of ekaadhaarita sthira prakaarya parimaaNa, to the number argument of function is an instance of sthira parimaaNa aur range of function is an instance of sthira parimaaNa.
(=>
(instance ?FUNCTION UnaryConstantFunctionQuantity)
(and
(domain ?FUNCTION 1 ConstantQuantity)
(range ?FUNCTION ConstantQuantity)))
Agar function is an instance of samaya aadhaarita parimaaNa, to the number argument of function is an instance of samaya maapa.
(=>
(instance ?FUNCTION TimeDependentQuantity)
(domain ?FUNCTION 1 TimeMeasure))
Agar rel is an instance of sambandha, to rel() holds agar hai rel() ke lie hai, ki.
(=>
(instance ?REL Relation)
(<=>
(holds ?REL @ROW)
(?REL @ROW)))
rel is an instance of eka mUlyaadeya sambandha agar hai sab-kuch ,item1,item2 ke lie hai, ki: agar rel(,item1) holds aur rel(,item2) holds, to item1 is equal to item2.
(<=>
(instance ?REL SingleValuedRelation)
(forall
(@ROW ?ITEM1 ?ITEM2)
(=>
(and
(holds ?REL @ROW ?ITEM1)
(holds ?REL @ROW ?ITEM2))
(equal ?ITEM1 ?ITEM2))))
rel is an instance of pUrNa mUlyaadeya sambandha agar hai yah kuch valence nahin, ki rel is an instance of sambandha aur rel ke valence konaanke bahanen hai aur - agar sab-kuch number,element,class ke lie hai, ki: agar number is less than valence aur the number number argument of rel is an instance of class aur element is equal to "numberth element of "()"", to element is an instance of class,
- to yah kuch item nahin, ki rel(,item) holds
.
(<=>
(instance ?REL TotalValuedRelation)
(exists
(?VALENCE)
(and
(instance ?REL Relation)
(valence ?REL ?VALENCE)
(=>
(forall
(?NUMBER ?ELEMENT ?CLASS)
(=>
(and
(lessThan ?NUMBER ?VALENCE)
(domain ?REL ?NUMBER ?CLASS)
(equal
?ELEMENT
(ListOrderFn
(ListFn @ROW)
?NUMBER)))
(instance ?ELEMENT ?CLASS)))
(exists
(?ITEM)
(holds ?REL @ROW ?ITEM))))))
Agar rel is an instance of dvi-aadhaarI sambandha, to yah kuch item1,item2,item3, nahin, ki rel(item1,item2,item3,) holds.
(=>
(instance ?REL BinaryRelation)
(not
(exists
(?ITEM1 ?ITEM2 ?ITEM3 @ROW)
(holds ?REL ?ITEM1 ?ITEM2 ?ITEM3 @ROW))))
(=>
(instance ?REL ReflexiveRelation)
(=>
(or
(holds ?REL ?INST1 ?INST2)
(holds ?REL ?INST2 ?INST1))
(holds ?REL ?INST1 ?INST1)))
Agar rel is an instance of anaatmavaachaka sambandha, to sab-kuch inst ke lie hai, ki: rel(inst,inst) doesn't hold.
(=>
(instance ?REL IrreflexiveRelation)
(forall
(?INST)
(not
(holds ?REL ?INST ?INST))))
(=>
(instance ?REL SymmetricRelation)
(forall
(?INST1 ?INST2)
(=>
(holds ?REL ?INST1 ?INST2)
(holds ?REL ?INST2 ?INST1))))
Agar , to rel is an instance of asaamanjasyapUrNa sambandha.
(=>
(and
(instance ?REL BinaryRelation)
(or
(domain ?REL 1 ?CLASS1)
(domainSubclass ?REL 1 ?CLASS1))
(or
(domain ?REL 2 ?CLASS2)
(domainSubclass ?REL 2 ?CLASS2)
(range ?REL ?CLASS2)
(rangeSubclass ?REL ?CLASS2))
(disjoint ?CLASS1 ?CLASS2))
(instance ?REL AsymmetricRelation))
(=>
(instance ?REL AntisymmetricRelation)
(forall
(?INST1 ?INST2)
(=>
(and
(holds ?REL ?INST1 ?INST2)
(holds ?REL ?INST2 ?INST1))
(equal ?INST1 ?INST2))))
Agar rel is an instance of , to sab-kuch inst1,inst2 ke lie hai, ki: rel(inst1,inst2) holds yaa inst1 is equal to inst2 yaa rel(inst2,inst1) holds.
(=>
(instance ?REL TrichotomizingRelation)
(forall
(?INST1 ?INST2)
(or
(holds ?REL ?INST1 ?INST2)
(equal ?INST1 ?INST2)
(holds ?REL ?INST2 ?INST1))))
(=>
(instance ?REL TransitiveRelation)
(forall
(?INST1 ?INST2 ?INST3)
(=>
(and
(holds ?REL ?INST1 ?INST2)
(holds ?REL ?INST2 ?INST3))
(holds ?REL ?INST1 ?INST3))))
(=>
(instance ?REL IntransitiveRelation)
(forall
(?INST1 ?INST2 ?INST3)
(=>
(and
(holds ?REL ?INST1 ?INST2)
(holds ?REL ?INST2 ?INST3))
(not
(holds ?REL ?INST1 ?INST3)))))
Agar rel is an instance of pUrna anukrama sambandha, to sab-kuch inst1,inst2 ke lie hai, ki: rel(inst1,inst2) holds yaa rel(inst2,inst1) holds.
(=>
(instance ?REL TotalOrderingRelation)
(forall
(?INST1 ?INST2)
(or
(holds ?REL ?INST1 ?INST2)
(holds ?REL ?INST2 ?INST1))))
Agar process is an instance of prakriyaa, to yah kuch cause nahin, ki process cause kaa kaaran hai.
(=>
(instance ?PROCESS Process)
(exists
(?CAUSE)
(agent ?PROCESS ?CAUSE)))
Agar formula1 increases likelihood of formula2 aur "the probability of formula2" is equal to number1 aur basharte ki formula2 ho rahaa hai, formula1 kii sambhaavaanaa number2 ho., to number2 is greater than number1.
(=>
(and
(increasesLikelihood ?FORMULA1 ?FORMULA2)
(equal
(ProbabilityFn ?FORMULA2)
?NUMBER1)
(conditionalProbability ?FORMULA1 ?FORMULA2 ?NUMBER2))
(greaterThan ?NUMBER2 ?NUMBER1))
Agar formula1 decreases likelihood of formula2 aur "the probability of formula2" is equal to number1 aur basharte ki formula2 ho rahaa hai, formula1 kii sambhaavaanaa number2 ho., to number2 is less than number1.
(=>
(and
(decreasesLikelihood ?FORMULA1 ?FORMULA2)
(equal
(ProbabilityFn ?FORMULA2)
?NUMBER1)
(conditionalProbability ?FORMULA1 ?FORMULA2 ?NUMBER2))
(lessThan ?NUMBER2 ?NUMBER1))
Agar probability of formula1 and formula2 is independent aur "the probability of formula2" is equal to number1 aur basharte ki formula2 ho rahaa hai, formula1 kii sambhaavaanaa number2 ho., to number2 is equal to number1.
(=>
(and
(independentProbability ?FORMULA1 ?FORMULA2)
(equal
(ProbabilityFn ?FORMULA2)
?NUMBER1)
(conditionalProbability ?FORMULA1 ?FORMULA2 ?NUMBER2))
(equal ?NUMBER2 ?NUMBER1))
Agar formula1 is an instance of sUtra aur formula2 is an instance of sUtra, to formula1 increases likelihood of formula2 yaa formula1 decreases likelihood of formula2 yaa probability of formula1 and formula2 is independent.
(=>
(and
(instance ?FORMULA1 Formula)
(instance ?FORMULA2 Formula))
(or
(increasesLikelihood ?FORMULA1 ?FORMULA2)
(decreasesLikelihood ?FORMULA1 ?FORMULA2)
(independentProbability ?FORMULA1 ?FORMULA2)))
Agar rel is an instance of intentional relation aur rel(agent,) holds aur obj is a member of "()", to agent is interested in obj.
(=>
(and
(instance ?REL IntentionalRelation)
(holds ?REL ?AGENT @ROW)
(inList
?OBJ
(ListFn @ROW)))
(inScopeOfInterest ?AGENT ?OBJ))
(=>
(prefers ?AGENT ?FORMULA1 ?FORMULA2)
(=>
(true ?FORMULA1 True)
(true ?FORMULA2 False)))
Agar agent needs object, to agent wants object.
(=>
(needs ?AGENT ?OBJECT)
(wants ?AGENT ?OBJECT))
Agar agent wants obj, to yah kuch purp nahin, ki obj has &n purpose purp for agent.
(=>
(wants ?AGENT ?OBJ)
(exists
(?PURP)
(hasPurposeForAgent ?OBJ ?PURP ?AGENT)))
Agar agent wants obj, to agent desires "agent posesses obj".
(=>
(wants ?AGENT ?OBJ)
(desires
?AGENT
(possesses ?AGENT ?OBJ)))
Agar agent formula par vishvaas kartaa hai, to yah kuch time nahin, ki agent considers formula during time.
(=>
(believes ?AGENT ?FORMULA)
(exists
(?TIME)
(holdsDuring
?TIME
(considers ?AGENT ?FORMULA))))
Agar agent knows formula, to agent formula par vishvaas kartaa hai.
(=>
(knows ?AGENT ?FORMULA)
(believes ?AGENT ?FORMULA))
Agar agent knows formula, to formula is true.
(=>
(knows ?AGENT ?FORMULA)
(true ?FORMULA True))
Agar rel is an instance of tri-angI sambandha, to yah kuch item1,item2,item3,item4, nahin, ki rel(item1,item2,item3,item4,) holds.
(=>
(instance ?REL TernaryRelation)
(not
(exists
(?ITEM1 ?ITEM2 ?ITEM3 ?ITEM4 @ROW)
(holds ?REL ?ITEM1 ?ITEM2 ?ITEM3 ?ITEM4 @ROW))))
Agar rel is an instance of chaturangI sambandha, to yah kuch item1,item2,item3,item4,item5, nahin, ki rel(item1,item2,item3,item4,item5,) holds.
(=>
(instance ?REL QuaternaryRelation)
(not
(exists
(?ITEM1 ?ITEM2 ?ITEM3 ?ITEM4 ?ITEM5 @ROW)
(holds ?REL ?ITEM1 ?ITEM2 ?ITEM3 ?ITEM4 ?ITEM5 @ROW))))
Agar rel is an instance of panchaangI sambandha, to yah kuch item1,item2,item3,item4,item5,item6, nahin, ki rel(item1,item2,item3,item4,item5,item6,) holds.
(=>
(instance ?REL QuintaryRelation)
(not
(exists
(?ITEM1 ?ITEM2 ?ITEM3 ?ITEM4 ?ITEM5 ?ITEM6 @ROW)
(holds ?REL ?ITEM1 ?ITEM2 ?ITEM3 ?ITEM4 ?ITEM5 ?ITEM6 @ROW))))
(=>
(instance ?LIST List)
(exists
(?NUMBER1)
(exists
(?ITEM1)
(and
(not
(equal
(ListOrderFn ?LIST ?NUMBER1)
?ITEM1))
(forall
(?NUMBER2)
(=>
(and
(instance ?NUMBER2 PositiveInteger)
(lessThan ?NUMBER2 ?NUMBER1))
(exists
(?ITEM2)
(equal
(ListOrderFn ?LIST ?NUMBER2)
?ITEM2))))))))
list is an instance of asaadhaaraNa sUchI agar hai sab-kuch number1,number2 ke lie hai, ki: agar "number1th element of list" is equal to "number2th element of list", to number1 is equal to number2.
(<=>
(instance ?LIST UniqueList)
(forall
(?NUMBER1 ?NUMBER2)
(=>
(equal
(ListOrderFn ?LIST ?NUMBER1)
(ListOrderFn ?LIST ?NUMBER2))
(equal ?NUMBER1 ?NUMBER2))))
- agar class is covered by ,
- to sab-kuch obj ke lie hai, ki: agar obj is an instance of class, to yah kuch item nahin, ki item is a member of "()" aur obj is an instance of item
.
(=>
(exhaustiveDecomposition ?CLASS @ROW)
(forall
(?OBJ)
(=>
(instance ?OBJ ?CLASS)
(exists
(?ITEM)
(and
(inList
?ITEM
(ListFn @ROW))
(instance ?OBJ ?ITEM))))))
- agar class is disjointly decomposed into ,
- to sab-kuch item ke lie hai, ki: agar item is a member of "()", to item is a subclass of class
.
(=>
(disjointDecomposition ?CLASS @ROW)
(forall
(?ITEM)
(=>
(inList
?ITEM
(ListFn @ROW))
(subclass ?ITEM ?CLASS))))
- agar class is disjointly decomposed into ,
- to sab-kuch item1,item2 ke lie hai, ki: agar item1 is a member of "()" aur item2 is a member of "()" aur item1 is not equal to item2, to item1 asansavat item2 se hai
.
(=>
(disjointDecomposition ?CLASS @ROW)
(forall
(?ITEM1 ?ITEM2)
(=>
(and
(inList
?ITEM1
(ListFn @ROW))
(inList
?ITEM2
(ListFn @ROW))
(not
(equal ?ITEM1 ?ITEM2)))
(disjoint ?ITEM1 ?ITEM2))))
Agar list1 is an instance of sUchI aur list2 is an instance of sUchI aur sab-kuch number ke lie hai, ki: "numberth element of list1" is equal to "numberth element of list2", to list1 is equal to list2.
(=>
(and
(instance ?LIST1 List)
(instance ?LIST2 List)
(forall
(?NUMBER)
(equal
(ListOrderFn ?LIST1 ?NUMBER)
(ListOrderFn ?LIST2 ?NUMBER))))
(equal ?LIST1 ?LIST2))
Agar the number number argument of rel is an instance of class aur rel() holds, to "numberth element of "()"" is an instance of class.
(=>
(and
(domain ?REL ?NUMBER ?CLASS)
(holds ?REL @ROW))
(instance
(ListOrderFn
(ListFn @ROW)
?NUMBER)
?CLASS))
Agar the number number argument of rel is a subclass of class aur rel() holds, to "numberth element of "()"" is a subclass of class.
(=>
(and
(domainSubclass ?REL ?NUMBER ?CLASS)
(holds ?REL @ROW))
(subclass
(ListOrderFn
(ListFn @ROW)
?NUMBER)
?CLASS))
Agar "list kii lambaaaii" is equal to number1, to sab-kuch number2 ke lie hai, ki: yah kuch item nahin, ki "number2th element of list" is equal to item agar hai number2 is less than or equal to number1.
(=>
(equal
(ListLengthFn ?LIST)
?NUMBER1)
(forall
(?NUMBER2)
(<=>
(exists
(?ITEM)
(equal
(ListOrderFn ?LIST ?NUMBER2)
?ITEM))
(lessThanOrEqualTo ?NUMBER2 ?NUMBER1))))
- agar rel ke number konaanke bahanen hai,
- to sab-kuch ke lie hai, ki: agar rel() holds, to ""()" kii lambaaaii" is equal to number
.
(=>
(valence ?REL ?NUMBER)
(forall
(@ROW)
(=>
(holds ?REL @ROW)
(equal
(ListLengthFn
(ListFn @ROW))
?NUMBER))))
Agar "list1 kii lambaaaii" is equal to number, to yah kuch list2 nahin, ki list1 starts list2 aur "(number+1)" is equal to "list2 kii lambaaaii" aur ""(number+1)"th element of list2" is equal to item.
(=>
(equal
(ListLengthFn ?LIST1)
?NUMBER)
(exists
(?LIST2)
(and
(initialList ?LIST1 ?LIST2)
(equal
(SuccessorFn ?NUMBER)
(ListLengthFn ?LIST2))
(equal
(ListOrderFn
?LIST2
(SuccessorFn ?NUMBER))
?ITEM))))
list3 is equal to "the list composed of list1 and list2" agar hai sab-kuch number1,number2 ke lie hai, ki: agar number1 is less than or equal to "list1 kii lambaaaii" aur number2 is less than or equal to "list2 kii lambaaaii" aur number1 is an instance of dhanaatmaka pUrNaanka aur number2 is an instance of dhanaatmaka pUrNaanka, to "number1th element of list3" is equal to "number1th element of list1" aur ""("list1 kii lambaaaii"+number2)"th element of list3" is equal to "number2th element of list2".
(<=>
(equal
?LIST3
(ListConcatenateFn ?LIST1 ?LIST2))
(forall
(?NUMBER1 ?NUMBER2)
(=>
(and
(lessThanOrEqualTo
?NUMBER1
(ListLengthFn ?LIST1))
(lessThanOrEqualTo
?NUMBER2
(ListLengthFn ?LIST2))
(instance ?NUMBER1 PositiveInteger)
(instance ?NUMBER2 PositiveInteger))
(and
(equal
(ListOrderFn ?LIST3 ?NUMBER1)
(ListOrderFn ?LIST1 ?NUMBER1))
(equal
(ListOrderFn
?LIST3
(AdditionFn
(ListLengthFn ?LIST1)
?NUMBER2))
(ListOrderFn ?LIST2 ?NUMBER2))))))
- agar list1 is a sublist of list2,
- to sab-kuch item ke lie hai, ki: agar item is a member of list1, to item is a member of list2
.
(=>
(subList ?LIST1 ?LIST2)
(forall
(?ITEM)
(=>
(inList ?ITEM ?LIST1)
(inList ?ITEM ?LIST2))))
- agar list1 is a sublist of list2,
- to yah kuch number3 nahin, ki sab-kuch item ke lie hai, ki: agar item is a member of list1, to yah kuch number1,number2 nahin, ki "number1th element of list1" is equal to item aur "number2th element of list2" is equal to item aur number2 is equal to "(number1+number3)"
.
(=>
(subList ?LIST1 ?LIST2)
(exists
(?NUMBER3)
(forall
(?ITEM)
(=>
(inList ?ITEM ?LIST1)
(exists
(?NUMBER1 ?NUMBER2)
(and
(equal
(ListOrderFn ?LIST1 ?NUMBER1)
?ITEM)
(equal
(ListOrderFn ?LIST2 ?NUMBER2)
?ITEM)
(equal
?NUMBER2
(AdditionFn ?NUMBER1 ?NUMBER3))))))))
- agar list1 starts list2,
- to sab-kuch number1,number2 ke lie hai, ki: agar "list1 kii lambaaaii" is equal to number1 aur number2 is less than or equal to number1, to "number2th element of list1" is equal to "number2th element of list2"
.
(=>
(initialList ?LIST1 ?LIST2)
(forall
(?NUMBER1 ?NUMBER2)
(=>
(and
(equal
(ListLengthFn ?LIST1)
?NUMBER1)
(lessThanOrEqualTo ?NUMBER2 ?NUMBER1))
(equal
(ListOrderFn ?LIST1 ?NUMBER2)
(ListOrderFn ?LIST2 ?NUMBER2)))))
Agar function is an instance of ekaadhaary prakaarya, to function ke konaanke bahanen hai.
(=>
(instance ?FUNCTION UnaryFunction)
(valence ?FUNCTION 1))
(=>
(instance ?FUN OneToOneFunction)
(forall
(?ARG1 ?ARG2)
(=>
(and
(domain ?FUN 1 ?CLASS)
(instance ?ARG1 ?CLASS)
(instance ?ARG2 ?CLASS)
(not
(equal ?ARG1 ?ARG2)))
(not
(equal
(AssignmentFn ?FUN ?ARG1)
(AssignmentFn ?FUN ?ARG2))))))
Agar seq is an instance of anukrama prakaarya aur range of seq is an instance of class, to class is a subclass of pUrNaanka.
(=>
(and
(instance ?SEQ SequenceFunction)
(range ?SEQ ?CLASS))
(subclass ?CLASS Integer))
Agar function is an instance of dvi-aadhaary prakaarya, to function ke konaanke bahanen hai.
(=>
(instance ?FUNCTION BinaryFunction)
(valence ?FUNCTION 2))
- agar function is an instance of sahachaary prakaarya,
- to sab-kuch inst1,inst2,inst3 ke lie hai, ki: agar the number argument of function is an instance of class aur inst1 is an instance of class aur inst2 is an instance of class aur inst3 is an instance of class, to "function(inst1,"function(inst2,inst3)")" is equal to "function("function(inst1,inst2)",inst3)"
.
(=>
(instance ?FUNCTION AssociativeFunction)
(forall
(?INST1 ?INST2 ?INST3)
(=>
(and
(domain ?FUNCTION 1 ?CLASS)
(instance ?INST1 ?CLASS)
(instance ?INST2 ?CLASS)
(instance ?INST3 ?CLASS))
(equal
(AssignmentFn
?FUNCTION
?INST1
(AssignmentFn ?FUNCTION ?INST2 ?INST3))
(AssignmentFn
?FUNCTION
(AssignmentFn ?FUNCTION ?INST1 ?INST2)
?INST3)))))
(=>
(instance ?FUNCTION CommutativeFunction)
(forall
(?INST1 ?INST2)
(=>
(and
(domain ?FUNCTION 1 ?CLASS)
(instance ?INST1 ?CLASS)
(instance ?INST2 ?CLASS))
(equal
(AssignmentFn ?FUNCTION ?INST1 ?INST2)
(AssignmentFn ?FUNCTION ?INST2 ?INST1)))))
Agar function is an instance of tri-angI prakaarya, to function ke konaanke bahanen hai.
(=>
(instance ?FUNCTION TernaryFunction)
(valence ?FUNCTION 3))
Agar function is an instance of chaturangI prakaarya, to function ke konaanke bahanen hai.
(=>
(instance ?FUNCTION QuaternaryFunction)
(valence ?FUNCTION 4))
Agar rel is an instance of dvi-lakshana, to rel ke konaanke bahanen hai.
(=>
(instance ?REL BinaryPredicate)
(valence ?REL 2))
Agar rel is an instance of triangii lakshana, to rel ke konaanke bahanen hai.
(=>
(instance ?REL TernaryPredicate)
(valence ?REL 3))
Agar rel is an instance of caturangii pakshana, to rel ke konaanke bahanen hai.
(=>
(instance ?REL QuaternaryPredicate)
(valence ?REL 4))
Agar rel is an instance of pancha lakshana, to rel ke konaanke bahanen hai.
(=>
(instance ?REL QuintaryPredicate)
(valence ?REL 5))
Agar rel is an instance of parivartaniiya sanbandha, to yah kuch int nahin, ki rel ke int konaanke bahanen hai.
(=>
(instance ?REL VariableArityRelation)
(not
(exists
(?INT)
(valence ?REL ?INT))))
(=>
(and
(closedOn ?FUNCTION ?CLASS)
(instance ?FUNCTION UnaryFunction))
(forall
(?INST)
(=>
(instance ?INST ?CLASS)
(instance
(AssignmentFn ?FUNCTION ?INST)
?CLASS))))
(=>
(and
(closedOn ?FUNCTION ?CLASS)
(instance ?FUNCTION BinaryFunction))
(forall
(?INST1 ?INST2)
(=>
(and
(instance ?INST1 ?CLASS)
(instance ?INST2 ?CLASS))
(instance
(AssignmentFn ?FUNCTION ?INST1 ?INST2)
?CLASS))))
- agar relation is reflexive on class,
- to sab-kuch inst ke lie hai, ki: agar inst is an instance of class, to relation(inst,inst) holds
.
(=>
(reflexiveOn ?RELATION ?CLASS)
(forall
(?INST)
(=>
(instance ?INST ?CLASS)
(holds ?RELATION ?INST ?INST))))
- agar relation is irreflexive on class,
- to sab-kuch inst ke lie hai, ki: agar inst is an instance of class, to relation(inst,inst) doesn't hold
.
(=>
(irreflexiveOn ?RELATION ?CLASS)
(forall
(?INST)
(=>
(instance ?INST ?CLASS)
(not
(holds ?RELATION ?INST ?INST)))))
Agar relation is partial ordering on class, to relation is reflexive on class aur relation is an instance of sakarmaka sambandha aur relation is an instance of saamanjasya-virodhi sambandha.
(=>
(partialOrderingOn ?RELATION ?CLASS)
(and
(reflexiveOn ?RELATION ?CLASS)
(instance ?RELATION TransitiveRelation)
(instance ?RELATION AntisymmetricRelation)))
- agar relation is trichotomizing on class,
- to sab-kuch inst1,inst2 ke lie hai, ki: agar inst1 is an instance of class aur inst2 is an instance of class, to relation(inst1,inst2) holds yaa relation(inst2,inst1) holds yaa inst1 is equal to inst2
.
(=>
(trichotomizingOn ?RELATION ?CLASS)
(forall
(?INST1 ?INST2)
(=>
(and
(instance ?INST1 ?CLASS)
(instance ?INST2 ?CLASS))
(or
(holds ?RELATION ?INST1 ?INST2)
(holds ?RELATION ?INST2 ?INST1)
(equal ?INST1 ?INST2)))))
Agar relation is equivalence relation on class, to relation is an instance of sakarmaka sambandha aur relation is an instance of saamanjasyapUrNa sambandha aur relation is reflexive on class.
(=>
(equivalenceRelationOn ?RELATION ?CLASS)
(and
(instance ?RELATION TransitiveRelation)
(instance ?RELATION SymmetricRelation)
(reflexiveOn ?RELATION ?CLASS)))
- agar function1 is distributive over function2,
- to sab-kuch inst1,inst2,inst3 ke lie hai, ki: agar the number argument of function1 is an instance of class1 aur inst1 is an instance of class1 aur inst2 is an instance of class1 aur inst3 is an instance of class1 aur the number argument of function2 is an instance of class2 aur inst1 is an instance of class2 aur inst2 is an instance of class2 aur inst3 is an instance of class2, to "function1(inst1,"function2(inst2,inst3)")" is equal to "function2("function1(inst1,inst2)","function1(inst1,inst3)")"
.
(=>
(distributes ?FUNCTION1 ?FUNCTION2)
(forall
(?INST1 ?INST2 ?INST3)
(=>
(and
(domain ?FUNCTION1 1 ?CLASS1)
(instance ?INST1 ?CLASS1)
(instance ?INST2 ?CLASS1)
(instance ?INST3 ?CLASS1)
(domain ?FUNCTION2 1 ?CLASS2)
(instance ?INST1 ?CLASS2)
(instance ?INST2 ?CLASS2)
(instance ?INST3 ?CLASS2))
(equal
(AssignmentFn
?FUNCTION1
?INST1
(AssignmentFn ?FUNCTION2 ?INST2 ?INST3))
(AssignmentFn
?FUNCTION2
(AssignmentFn ?FUNCTION1 ?INST1 ?INST2)
(AssignmentFn ?FUNCTION1 ?INST1 ?INST3))))))
Agar proc1 is an instance of prakriyaa, to yah kuch proc2 nahin, ki proc2 causes proc1.
(=>
(instance ?PROC1 Process)
(exists
(?PROC2)
(causes ?PROC2 ?PROC1)))
- agar causes subclass(proc1,proc2) ke lie hai, ki,
- to sab-kuch inst2 ke lie hai, ki: agar inst2 is an instance of proc2, to yah kuch proc1 inst1 nahin, ki inst1 causes inst2
.
(=>
(causesSubclass ?PROC1 ?PROC2)
(forall
(?INST2)
(=>
(instance ?INST2 ?PROC2)
(exists
(?INST1)
(and
(instance ?INST1 ?PROC1)
(causes ?INST1 ?INST2))))))
- agar obj1 is an exact copy of obj2,
- to sab-kuch attr ke lie hai, ki: agar attr is an attribute of obj1, to attr is an attribute of obj2
.
(=>
(copy ?OBJ1 ?OBJ2)
(forall
(?ATTR)
(=>
(attribute ?OBJ1 ?ATTR)
(attribute ?OBJ2 ?ATTR))))
Agar situation1 holds during time aur situation1 entails situation2, to situation2 holds during time.
(=>
(and
(holdsDuring ?TIME ?SITUATION1)
(entails ?SITUATION1 ?SITUATION2))
(holdsDuring ?TIME ?SITUATION2))
Agar situation during time, to situation holds during time.
(=>
(holdsDuring
?TIME
(not ?SITUATION))
(not
(holdsDuring ?TIME ?SITUATION)))
Agar role is an instance of vibhakti bhUmikaa aur role(arg1,arg2) holds aur arg1 is an instance of proc, to arg2 is capable to do proc in role role.
(=>
(and
(instance ?ROLE CaseRole)
(holds ?ROLE ?ARG1 ?ARG2)
(instance ?ARG1 ?PROC))
(capability ?PROC ?ROLE ?ARG2))
Agar obj exploits agent, to yah kuch process nahin, ki process agent kaa kaaran hai aur obj is a resource for process.
(=>
(exploits ?OBJ ?AGENT)
(exists
(?PROCESS)
(and
(agent ?PROCESS ?AGENT)
(resource ?PROCESS ?OBJ))))
Agar thing has purpose purpose, to yah kuch agent nahin, ki thing has &n purpose purpose for agent.
(=>
(hasPurpose ?THING ?PURPOSE)
(exists
(?AGENT)
(hasPurposeForAgent ?THING ?PURPOSE ?AGENT)))
Agar agent has &n skill to do proc, to agent is capable to do proc in role agent.
(=>
(hasSkill ?PROC ?AGENT)
(capability ?PROC agent ?AGENT))
Agar agent has the right to perform process, to agent is capable to do process in role agent.
(=>
(holdsRight ?PROCESS ?AGENT)
(capability ?PROCESS agent ?AGENT))
Agar agent1 allows agent2 to perform task of the type process, to agent2 has the right to perform process.
(=>
(confersRight ?PROCESS ?AGENT1 ?AGENT2)
(holdsRight ?PROCESS ?AGENT2))
Agar agent is obliged to perform tasks of type process, to agent is capable to do process in role agent.
(=>
(holdsObligation ?PROCESS ?AGENT)
(capability ?PROCESS agent ?AGENT))
Agar agent1 obligates agent2 to perform task of the type process, to agent2 is obliged to perform tasks of type process.
(=>
(confersObligation ?PROCESS ?AGENT1 ?AGENT2)
(holdsObligation ?PROCESS ?AGENT2))
- agar obj is located at region,
- to sab-kuch subobj ke lie hai, ki: agar subobj is a part of obj, to subobj is located at region
.
(=>
(located ?OBJ ?REGION)
(forall
(?SUBOBJ)
(=>
(part ?SUBOBJ ?OBJ)
(located ?SUBOBJ ?REGION))))
Agar obj is partly located in region, to yah kuch subobj nahin, ki subobj is a part of obj aur subobj is exactly located in region.
(=>
(partlyLocated ?OBJ ?REGION)
(exists
(?SUBOBJ)
(and
(part ?SUBOBJ ?OBJ)
(exactlyLocated ?SUBOBJ ?REGION))))
Agar obj is exactly located in region, to yah kuch otherobj nahin, ki otherobj is exactly located in region aur otherobj is not equal to obj.
(=>
(exactlyLocated ?OBJ ?REGION)
(not
(exists
(?OTHEROBJ)
(and
(exactlyLocated ?OTHEROBJ ?REGION)
(not
(equal ?OTHEROBJ ?OBJ))))))
Agar obj1 traverses obj2, to obj1 crosses obj2 yaa obj1 penetrates obj2.
(=>
(traverses ?OBJ1 ?OBJ2)
(or
(crosses ?OBJ1 ?OBJ2)
(penetrates ?OBJ1 ?OBJ2)))
- agar person posesses obj,
- to yah kuch type nahin, ki type has the right to perform person aur sab-kuch process ke lie hai, ki: agar process is an instance of type, to obj is a patient of process
.
(=>
(possesses ?PERSON ?OBJ)
(exists
(?TYPE)
(and
(holdsRight ?PERSON ?TYPE)
(forall
(?PROCESS)
(=>
(instance ?PROCESS ?TYPE)
(patient ?PROCESS ?OBJ))))))
Agar time is an instance of samaya sthiti aur agent1 posesses obj during time aur agent2 posesses obj during time, to agent1 is equal to agent2.
(=>
(and
(instance ?TIME TimePosition)
(holdsDuring
?TIME
(possesses ?AGENT1 ?OBJ))
(holdsDuring
?TIME
(possesses ?AGENT2 ?OBJ)))
(equal ?AGENT1 ?AGENT2))
- agar proc1 is a precondition of proc2,
- to agar yah kuch inst2 nahin, ki inst2 is an instance of proc2, to yah kuch inst1 nahin, ki inst1 is an instance of proc1
.
(=>
(precondition ?PROC1 ?PROC2)
(=>
(exists
(?INST2)
(instance ?INST2 ?PROC2))
(exists
(?INST1)
(instance ?INST1 ?PROC1))))
Agar proc1 inhibits proc2, to sab-kuch time,place ke lie hai, ki: "yah kuch proc1 inst1 nahin, ki inst1 is located at place during time" decreases likelihood of "yah kuch proc2 inst2 nahin, ki inst2 is located at place during time".
(=>
(inhibits ?PROC1 ?PROC2)
(forall
(?TIME ?PLACE)
(decreasesLikelihood
(holdsDuring
?TIME
(exists
(?INST1)
(and
(instance ?INST1 ?PROC1)
(located ?INST1 ?PLACE))))
(holdsDuring
?TIME
(exists
(?INST2)
(and
(instance ?INST2 ?PROC2)
(located ?INST2 ?PLACE)))))))
- agar proc1 prevents the occurrence of proc2,
- to sab-kuch time,place ke lie hai, ki: agar yah kuch proc1 inst1 nahin, ki inst1 is located at place during time, to yah kuch proc2 inst2 nahin, ki inst2 is located at place during time
.
(=>
(prevents ?PROC1 ?PROC2)
(forall
(?TIME ?PLACE)
(=>
(holdsDuring
?TIME
(exists
(?INST1)
(and
(instance ?INST1 ?PROC1)
(located ?INST1 ?PLACE))))
(not
(holdsDuring
?TIME
(exists
(?INST2)
(and
(instance ?INST2 ?PROC2)
(located ?INST2 ?PLACE))))))))
Agar agent uses rep to stand for entity, to rep expresses entity.
(=>
(representsForAgent ?REP ?ENTITY ?AGENT)
(represents ?REP ?ENTITY))
Agar rep represents entity in the language language, to yah kuch agent nahin, ki agent uses rep to stand for entity.
(=>
(representsInLanguage ?REP ?ENTITY ?LANGUAGE)
(exists
(?AGENT)
(representsForAgent ?REP ?ENTITY ?AGENT)))
class1 subsumes the content of class2 agar hai sab-kuch obj2,info ke lie hai, ki: agar obj2 is an instance of class2 aur obj2 contains information info, to yah kuch class1 obj1 nahin, ki obj1 contains information info.
(<=>
(subsumesContentClass ?CLASS1 ?CLASS2)
(forall
(?OBJ2 ?INFO)
(=>
(and
(instance ?OBJ2 ?CLASS2)
(containsInformation ?OBJ2 ?INFO))
(exists
(?OBJ1)
(and
(instance ?OBJ1 ?CLASS1)
(containsInformation ?OBJ1 ?INFO))))))
obj1 subsumes the content of obj2 agar hai sab-kuch info ke lie hai, ki: agar obj2 contains information info, to obj1 contains information info.
(<=>
(subsumesContentInstance ?OBJ1 ?OBJ2)
(forall
(?INFO)
(=>
(containsInformation ?OBJ2 ?INFO)
(containsInformation ?OBJ1 ?INFO))))
Agar process expresses the content of prop, to yah kuch tatva-vaahaka padaartha obj nahin, ki obj contains information prop.
(=>
(realization ?PROCESS ?PROP)
(exists
(?OBJ)
(and
(instance ?OBJ ContentBearingObject)
(containsInformation ?OBJ ?PROP))))
- agar prop1 is a sub-proposition of prop2,
- to sab-kuch obj1,obj2 ke lie hai, ki: agar obj1 contains information prop1 aur obj2 contains information prop2, to obj2 subsumes the content of obj1
.
(=>
(subProposition ?PROP1 ?PROP2)
(forall
(?OBJ1 ?OBJ2)
(=>
(and
(containsInformation ?OBJ1 ?PROP1)
(containsInformation ?OBJ2 ?PROP2))
(subsumesContentInstance ?OBJ2 ?OBJ1))))
Agar agent uses obj, to yah kuch proc nahin, ki proc agent kaa kaaran hai aur obj is an instrument for proc.
(=>
(uses ?OBJ ?AGENT)
(exists
(?PROC)
(and
(agent ?PROC ?AGENT)
(instrument ?PROC ?OBJ))))
Agar number is an instance of parimeya anka, to yah kuch pUrNaanka int1,pUrNaanka int2 nahin, ki number is equal to "int1/int2".
(=>
(instance ?NUMBER RationalNumber)
(exists
(?INT1 ?INT2)
(and
(instance ?INT1 Integer)
(instance ?INT2 Integer)
(equal
?NUMBER
(DivisionFn ?INT1 ?INT2)))))
Agar "the ceiling of number" is equal to int, to yah kuch pUrNaanka otherint nahin, ki otherint is greater than or equal to number aur otherint is less than int.
(=>
(equal
(CeilingFn ?NUMBER)
?INT)
(not
(exists
(?OTHERINT)
(and
(instance ?OTHERINT Integer)
(greaterThanOrEqualTo ?OTHERINT ?NUMBER)
(lessThan ?OTHERINT ?INT)))))
Agar "the largest integer less than or equal to number" is equal to int, to yah kuch pUrNaanka otherint nahin, ki otherint is less than or equal to number aur otherint is greater than int.
(=>
(equal
(FloorFn ?NUMBER)
?INT)
(not
(exists
(?OTHERINT)
(and
(instance ?OTHERINT Integer)
(lessThanOrEqualTo ?OTHERINT ?NUMBER)
(greaterThan ?OTHERINT ?INT)))))
- agar "the greatest common divisor of " is equal to number,
- to sab-kuch element ke lie hai, ki: agar element is a member of "()", to "element mod number" is equal to
.
(=>
(equal
(GreatestCommonDivisorFn @ROW)
?NUMBER)
(forall
(?ELEMENT)
(=>
(inList
?ELEMENT
(ListFn @ROW))
(equal
(RemainderFn ?ELEMENT ?NUMBER)
0))))
- agar "the greatest common divisor of " is equal to number,
- to yah kuch greater nahin, ki greater is greater than number aur sab-kuch element ke lie hai, ki: agar element is a member of "()", to "element mod greater" is equal to
.
(=>
(equal
(GreatestCommonDivisorFn @ROW)
?NUMBER)
(not
(exists
(?GREATER)
(and
(greaterThan ?GREATER ?NUMBER)
(forall
(?ELEMENT)
(=>
(inList
?ELEMENT
(ListFn @ROW))
(equal
(RemainderFn ?ELEMENT ?GREATER)
0)))))))
Agar number is an instance of sanyukta anka, to yah kuch part1,part2 nahin, ki part1 is equal to "the real part of number" aur part2 is equal to "the imaginary part of number".
(=>
(instance ?NUMBER ComplexNumber)
(exists
(?PART1 ?PART2)
(and
(equal
?PART1
(RealNumberFn ?NUMBER))
(equal
?PART2
(ImaginaryPartFn ?NUMBER)))))
- agar "the least common multiple of " is equal to number,
- to sab-kuch element ke lie hai, ki: agar element is a member of "()", to "number mod element" is equal to
.
(=>
(equal
(LeastCommonMultipleFn @ROW)
?NUMBER)
(forall
(?ELEMENT)
(=>
(inList
?ELEMENT
(ListFn @ROW))
(equal
(RemainderFn ?NUMBER ?ELEMENT)
0))))
- agar "the least common multiple of " is equal to number,
- to yah kuch less nahin, ki less is less than number aur sab-kuch element ke lie hai, ki: agar element is a member of "()", to "less mod element" is equal to
.
(=>
(equal
(LeastCommonMultipleFn @ROW)
?NUMBER)
(not
(exists
(?LESS)
(and
(lessThan ?LESS ?NUMBER)
(forall
(?ELEMENT)
(=>
(inList
?ELEMENT
(ListFn @ROW))
(equal
(RemainderFn ?LESS ?ELEMENT)
0)))))))
Agar "the larger of number1 and number2" is equal to number, to - number is equal to number1 aur number1 is greater than number2
yaa - number is equal to number2 aur number2 is greater than number1
yaa - number is equal to number1 aur number is equal to number2
.
(=>
(equal
(MaxFn ?NUMBER1 ?NUMBER2)
?NUMBER)
(or
(and
(equal ?NUMBER ?NUMBER1)
(greaterThan ?NUMBER1 ?NUMBER2))
(and
(equal ?NUMBER ?NUMBER2)
(greaterThan ?NUMBER2 ?NUMBER1))
(and
(equal ?NUMBER ?NUMBER1)
(equal ?NUMBER ?NUMBER2))))
Agar "the smaller of number1 and number2" is equal to number, to - number is equal to number1 aur number1 is less than number2
yaa - number is equal to number2 aur number2 is less than number1
yaa - number is equal to number1 aur number is equal to number2
.
(=>
(equal
(MinFn ?NUMBER1 ?NUMBER2)
?NUMBER)
(or
(and
(equal ?NUMBER ?NUMBER1)
(lessThan ?NUMBER1 ?NUMBER2))
(and
(equal ?NUMBER ?NUMBER2)
(lessThan ?NUMBER2 ?NUMBER1))
(and
(equal ?NUMBER ?NUMBER1)
(equal ?NUMBER ?NUMBER2))))
Agar number is an instance of parimaaNa, to "the reciprocal of number" is equal to "number raised to the power ".
(=>
(instance ?NUMBER Quantity)
(equal
(ReciprocalFn ?NUMBER)
(ExponentiationFn ?NUMBER -1)))
Agar number is an instance of parimaaNa, to is equal to "number*"the reciprocal of number"".
(=>
(instance ?NUMBER Quantity)
(equal
1
(MultiplicationFn
?NUMBER
(ReciprocalFn ?NUMBER))))
Agar "number1 mod number2" is equal to number, to "the sign of number2" is equal to "the sign of number".
(=>
(equal
(RemainderFn ?NUMBER1 ?NUMBER2)
?NUMBER)
(equal
(SignumFn ?NUMBER2)
(SignumFn ?NUMBER)))
Agar number is an instance of sama pUrNaanka, to "number mod " is equal to .
(=>
(instance ?NUMBER EvenInteger)
(equal
(RemainderFn ?NUMBER 2)
0))
Agar number is an instance of visham pUrNaanka, to "number mod " is equal to .
(=>
(instance ?NUMBER OddInteger)
(equal
(RemainderFn ?NUMBER 2)
1))
(=>
(instance ?PRIME PrimeNumber)
(forall
(?NUMBER)
(=>
(equal
(RemainderFn ?PRIME ?NUMBER)
0)
(or
(equal ?NUMBER 1)
(equal ?NUMBER ?PRIME)))))
- agar "number1 rounded" is equal to number2,
- to
- agar "(number1-"the largest integer less than or equal to number1")" is less than , to number2 is equal to "the largest integer less than or equal to number1"
yaa - agar "(number1-"the largest integer less than or equal to number1")" is greater than or equal to , to number2 is equal to "the ceiling of number1"
.
(=>
(equal
(RoundFn ?NUMBER1)
?NUMBER2)
(or
(=>
(lessThan
(SubtractionFn
?NUMBER1
(FloorFn ?NUMBER1))
0.5)
(equal
?NUMBER2
(FloorFn ?NUMBER1)))
(=>
(greaterThanOrEqualTo
(SubtractionFn
?NUMBER1
(FloorFn ?NUMBER1))
0.5)
(equal
?NUMBER2
(CeilingFn ?NUMBER1)))))
Agar number is an instance of aQNaatmaka vaastavika anka, to "the sign of number" is equal to yaa "the sign of number" is equal to .
(=>
(instance ?NUMBER NonnegativeRealNumber)
(or
(equal
(SignumFn ?NUMBER)
1)
(equal
(SignumFn ?NUMBER)
0)))
Agar number is an instance of dhanaatmaka vaastavika anka, to "the sign of number" is equal to .
(=>
(instance ?NUMBER PositiveRealNumber)
(equal
(SignumFn ?NUMBER)
1))
Agar number is an instance of Qnaatmaka vaastavika anka, to "the sign of number" is equal to .
(=>
(instance ?NUMBER NegativeRealNumber)
(equal
(SignumFn ?NUMBER)
-1))
Agar "the square root of number1" is equal to number2, to "number2*number2" is equal to number1.
(=>
(equal
(SquareRootFn ?NUMBER1)
?NUMBER2)
(equal
(MultiplicationFn ?NUMBER2 ?NUMBER2)
?NUMBER1))
Agar degree is an instance of samatala koNa maapa, to "the tangent of degree" is equal to ""the sine of degree"/"the cosine of degree"".
(=>
(instance ?DEGREE PlaneAngleMeasure)
(equal
(TangentFn ?DEGREE)
(DivisionFn
(SineFn ?DEGREE)
(CosineFn ?DEGREE))))
- agar id is an identity element of function,
- to sab-kuch inst ke lie hai, ki: agar the number argument of function is an instance of class aur inst is an instance of class, to "function(id,inst)" is equal to inst
.
(=>
(identityElement ?FUNCTION ?ID)
(forall
(?INST)
(=>
(and
(domain ?FUNCTION 1 ?CLASS)
(instance ?INST ?CLASS))
(equal
(AssignmentFn ?FUNCTION ?ID ?INST)
?INST))))
Agar "(int1+1)" is equal to "(int2+1)", to int1 is equal to int2.
(=>
(equal
(SuccessorFn ?INT1)
(SuccessorFn ?INT2))
(equal ?INT1 ?INT2))
Agar int is an instance of pUrNaanka, to int is less than "(int+1)".
(=>
(instance ?INT Integer)
(lessThan
?INT
(SuccessorFn ?INT)))
Agar int1 is an instance of pUrNaanka aur int2 is an instance of pUrNaanka, to int1 is not less than int2 yaa int2 is not less than "(int1+1)".
(=>
(and
(instance ?INT1 Integer)
(instance ?INT2 Integer))
(not
(and
(lessThan ?INT1 ?INT2)
(lessThan
?INT2
(SuccessorFn ?INT1)))))
Agar int is an instance of pUrNaanka, to int is equal to "("(int+2)"+1)".
(=>
(instance ?INT Integer)
(equal
?INT
(SuccessorFn
(PredecessorFn ?INT))))
Agar int is an instance of pUrNaanka, to int is equal to "("(int+1)"+2)".
(=>
(instance ?INT Integer)
(equal
?INT
(PredecessorFn
(SuccessorFn ?INT))))
Agar "(int1+2)" is equal to "(int2+2)", to int1 is equal to int2.
(=>
(equal
(PredecessorFn ?INT1)
(PredecessorFn ?INT2))
(equal ?INT1 ?INT2))
Agar int is an instance of pUrNaanka, to int is greater than "(int+2)".
(=>
(instance ?INT Integer)
(greaterThan
?INT
(PredecessorFn ?INT)))
Agar int1 is an instance of pUrNaanka aur int2 is an instance of pUrNaanka, to int2 is not less than int1 yaa "(int1+2)" is not less than int2.
(=>
(and
(instance ?INT1 Integer)
(instance ?INT2 Integer))
(not
(and
(lessThan ?INT2 ?INT1)
(lessThan
(PredecessorFn ?INT1)
?INT2))))
- agar subset is a subset of set,
- to sab-kuch element ke lie hai, ki: agar element is an element of subset, to element is an element of set
.
(=>
(subset ?SUBSET ?SET)
(forall
(?ELEMENT)
(=>
(element ?ELEMENT ?SUBSET)
(element ?ELEMENT ?SET))))
Agar sab-kuch element ke lie hai, ki: element is an element of set1 agar hai element is an element of set2, to set1 is equal to set2.
(=>
(forall
(?ELEMENT)
(<=>
(element ?ELEMENT ?SET1)
(element ?ELEMENT ?SET2)))
(equal ?SET1 ?SET2))
Agar set is an instance of sImita samUha, to yah kuch aQNaatmaka pUrNaanka number nahin, ki number is equal to "the number of instances in set".
(=>
(instance ?SET FiniteSet)
(exists
(?NUMBER)
(and
(instance ?NUMBER NonnegativeInteger)
(equal
?NUMBER
(CardinalityFn ?SET)))))
(=>
(instance ?SUPERCLASS PairwiseDisjointClass)
(forall
(?CLASS1 ?CLASS2)
(=>
(and
(instance ?CLASS1 ?SUPERCLASS)
(instance ?CLASS2 ?SUPERCLASS))
(or
(equal ?CLASS1 ?CLASS2)
(disjoint ?CLASS1 ?CLASS2)))))
(=>
(instance ?CLASS MutuallyDisjointClass)
(forall
(?INST1 ?INST2)
(=>
(and
(instance ?INST1 ?CLASS)
(instance ?INST2 ?INST1))
(exists
(?INST3)
(and
(instance ?INST3 ?CLASS)
(not
(instance ?INST2 ?INST3)))))))
Agar graph is an instance of aalekha aur node1 is an instance of granthi aalekha aur node2 is an instance of granthi aalekha aur node1 is a part of graph aur node2 is a part of graph aur node1 is not equal to node2, to yah kuch arc,path nahin, ki - arc links node1 and node2
yaa .
(=>
(and
(instance ?GRAPH Graph)
(instance ?NODE1 GraphNode)
(instance ?NODE2 GraphNode)
(graphPart ?NODE1 ?GRAPH)
(graphPart ?NODE2 ?GRAPH)
(not
(equal ?NODE1 ?NODE2)))
(exists
(?ARC ?PATH)
(or
(links ?NODE1 ?NODE2 ?ARC)
(and
(subGraph ?PATH ?GRAPH)
(instance ?PATH GraphPath)
(or
(and
(equal
(BeginNodeFn ?PATH)
?NODE1)
(equal
(EndNodeFn ?PATH)
?NODE2))
(and
(equal
(BeginNodeFn ?PATH)
?NODE2)
(equal
(EndNodeFn ?PATH)
?NODE1)))))))
Agar graph is an instance of aalekha, to yah kuch node1,node2,node3,arc1,arc2 nahin, ki node1 is a part of graph aur node2 is a part of graph aur node3 is a part of graph aur arc1 is a part of graph aur arc2 is a part of graph aur node2 links arc1 and node1 aur node3 links arc2 and node2 aur node1 is not equal to node2 aur node2 is not equal to node3 aur node1 is not equal to node3 aur arc1 is not equal to arc2.
(=>
(instance ?GRAPH Graph)
(exists
(?NODE1 ?NODE2 ?NODE3 ?ARC1 ?ARC2)
(and
(graphPart ?NODE1 ?GRAPH)
(graphPart ?NODE2 ?GRAPH)
(graphPart ?NODE3 ?GRAPH)
(graphPart ?ARC1 ?GRAPH)
(graphPart ?ARC2 ?GRAPH)
(links ?ARC1 ?NODE1 ?NODE2)
(links ?ARC2 ?NODE2 ?NODE3)
(not
(equal ?NODE1 ?NODE2))
(not
(equal ?NODE2 ?NODE3))
(not
(equal ?NODE1 ?NODE3))
(not
(equal ?ARC1 ?ARC2)))))
Agar graph is an instance of pratyaksha aalekha aur arc is an instance of chaapa aalekha aur arc is a part of graph, to yah kuch node1,node2 nahin, ki "the starting node of arc" is equal to node1 aur "the terminal node of arc" is equal to node2.
(=>
(and
(instance ?GRAPH DirectedGraph)
(instance ?ARC GraphArc)
(graphPart ?ARC ?GRAPH))
(exists
(?NODE1 ?NODE2)
(and
(equal
(InitialNodeFn ?ARC)
?NODE1)
(equal
(TerminalNodeFn ?ARC)
?NODE2))))
Agar graph is an instance of vriksha, to yah kuch aalekha paasha loop nahin, ki loop is a part of graph.
(=>
(instance ?GRAPH Tree)
(not
(exists
(?LOOP)
(and
(instance ?LOOP GraphLoop)
(graphPart ?LOOP ?GRAPH)))))
(=>
(and
(instance ?GRAPH GraphPath)
(instance ?ARC GraphArc)
(graphPart ?ARC ?GRAPH))
(=>
(equal
(InitialNodeFn ?ARC)
?NODE)
(not
(exists
(?OTHER)
(and
(equal
(InitialNodeFn ?OTHER)
?NODE)
(not
(equal ?OTHER ?ARC)))))))
(=>
(and
(instance ?GRAPH GraphPath)
(instance ?ARC GraphArc)
(graphPart ?ARC ?GRAPH))
(=>
(equal
(TerminalNodeFn ?ARC)
?NODE)
(not
(exists
(?OTHER)
(and
(equal
(TerminalNodeFn ?OTHER)
?NODE)
(not
(equal ?OTHER ?ARC)))))))
Agar part is an instance of tatva aalekha, to yah kuch aalekha graph nahin, ki part is a part of graph.
(=>
(instance ?PART GraphElement)
(exists
(?GRAPH)
(and
(instance ?GRAPH Graph)
(graphPart ?PART ?GRAPH))))
Agar node is an instance of granthi aalekha, to yah kuch other,arc nahin, ki arc links node and other.
(=>
(instance ?NODE GraphNode)
(exists
(?OTHER ?ARC)
(links ?NODE ?OTHER ?ARC)))
Agar arc is an instance of chaapa aalekha, to yah kuch node1,node2 nahin, ki arc links node1 and node2.
(=>
(instance ?ARC GraphArc)
(exists
(?NODE1 ?NODE2)
(links ?NODE1 ?NODE2 ?ARC)))
Agar "the starting node of arc" is equal to node aur "the terminal node of arc" is equal to node, to arc is an instance of aalekha paasha.
(=>
(and
(equal
(InitialNodeFn ?ARC)
?NODE)
(equal
(TerminalNodeFn ?ARC)
?NODE))
(instance ?ARC GraphLoop))
Agar arc links node1 and node2, to arc links node2 and node1.
(=>
(links ?NODE1 ?NODE2 ?ARC)
(links ?NODE2 ?NODE1 ?ARC))
Agar graph1 is a subgraph of graph2 aur element is a part of graph1, to element is a part of graph2.
(=>
(and
(subGraph ?GRAPH1 ?GRAPH2)
(graphPart ?ELEMENT ?GRAPH1))
(graphPart ?ELEMENT ?GRAPH2))
- agar
- "the value of path" is equal to sum
aur - subpath is a subgraph of path
aur - arc1 is a part of path
aur - the value of arc1 is number1
aur - sab-kuch arc2 ke lie hai, ki: agar arc2 is a part of path, to arc2 is a part of subpath yaa arc2 is equal to arc1
, - to sum is equal to "("the value of subpath"+number1)"
.
(=>
(and
(equal
(PathWeightFn ?PATH)
?SUM)
(subGraph ?SUBPATH ?PATH)
(graphPart ?ARC1 ?PATH)
(arcWeight ?ARC1 ?NUMBER1)
(forall
(?ARC2)
(=>
(graphPart ?ARC2 ?PATH)
(or
(graphPart ?ARC2 ?SUBPATH)
(equal ?ARC2 ?ARC1)))))
(equal
?SUM
(AdditionFn
(PathWeightFn ?SUBPATH)
?NUMBER1)))
- agar
- "the value of path" is equal to sum
aur - arc1 is a part of path
aur - arc2 is a part of path
aur - the value of arc1 is number1
aur - the value of arc2 is number2
aur - sab-kuch arc3 ke lie hai, ki: agar arc3 is a part of path, to arc3 is equal to arc1 yaa arc3 is equal to arc2
, - to "the value of path" is equal to "(number1+number2)"
.
(=>
(and
(equal
(PathWeightFn ?PATH)
?SUM)
(graphPart ?ARC1 ?PATH)
(graphPart ?ARC2 ?PATH)
(arcWeight ?ARC1 ?NUMBER1)
(arcWeight ?ARC2 ?NUMBER2)
(forall
(?ARC3)
(=>
(graphPart ?ARC3 ?PATH)
(or
(equal ?ARC3 ?ARC1)
(equal ?ARC3 ?ARC2)))))
(equal
(PathWeightFn ?PATH)
(AdditionFn ?NUMBER1 ?NUMBER2)))
Agar "the lowest cost path between node1 and node2" is equal to path, to path is an instance of "the set of paths between node1 and node2".
(=>
(equal
(MinimalWeightedPathFn ?NODE1 ?NODE2)
?PATH)
(instance
?PATH
(GraphPathFn ?NODE1 ?NODE2)))
- agar "the lowest cost path between node1 and node2" is equal to path aur "the value of path" is equal to number,
- to sab-kuch path2 ke lie hai, ki: agar path2 is an instance of "the set of paths between node1 and node2" aur "the value of path2" is equal to number2, to number2 is greater than or equal to number1
.
(=>
(and
(equal
(MinimalWeightedPathFn ?NODE1 ?NODE2)
?PATH)
(equal
(PathWeightFn ?PATH)
?NUMBER))
(forall
(?PATH2)
(=>
(and
(instance
?PATH2
(GraphPathFn ?NODE1 ?NODE2))
(equal
(PathWeightFn ?PATH2)
?NUMBER2))
(greaterThanOrEqualTo ?NUMBER2 ?NUMBER1))))
Agar "the highest cost path between node1 and node2" is equal to path, to path is an instance of "the set of paths between node1 and node2".
(=>
(equal
(MaximalWeightedPathFn ?NODE1 ?NODE2)
?PATH)
(instance
?PATH
(GraphPathFn ?NODE1 ?NODE2)))
- agar "the highest cost path between node1 and node2" is equal to path aur "the value of path" is equal to number,
- to sab-kuch path2 ke lie hai, ki: agar path2 is an instance of "the set of paths between node1 and node2" aur "the value of path2" is equal to number2, to number2 is less than or equal to number1
.
(=>
(and
(equal
(MaximalWeightedPathFn ?NODE1 ?NODE2)
?PATH)
(equal
(PathWeightFn ?PATH)
?NUMBER))
(forall
(?PATH2)
(=>
(and
(instance
?PATH2
(GraphPathFn ?NODE1 ?NODE2))
(equal
(PathWeightFn ?PATH2)
?NUMBER2))
(lessThanOrEqualTo ?NUMBER2 ?NUMBER1))))
Agar path is a part of graph aur graph is not an instance of pratyaksha aalekha, to "the set of paths between node1 and node2" is equal to path agar hai "the set of paths between node2 and node1" is equal to path.
(=>
(and
(graphPart ?PATH ?GRAPH)
(not
(instance ?GRAPH DirectedGraph)))
(<=>
(equal
(GraphPathFn ?NODE1 ?NODE2)
?PATH)
(equal
(GraphPathFn ?NODE2 ?NODE1)
?PATH)))
Agar graph is an instance of aalekha, to "the set of minimal paths that partition graph into two separate graphs" is a subclass of "the set of paths that partition graph into two separate graphs".
(=>
(instance ?GRAPH Graph)
(subclass
(MinimalCutSetFn ?GRAPH)
(CutSetFn ?GRAPH)))
- agar "the set of minimal paths that partition graph into two separate graphs" is equal to pathclass,
- to yah kuch number nahin, ki sab-kuch path ke lie hai, ki: agar path is an instance of pathclass, to the length of path is number
.
(=>
(equal
(MinimalCutSetFn ?GRAPH)
?PATHCLASS)
(exists
(?NUMBER)
(forall
(?PATH)
(=>
(instance ?PATH ?PATHCLASS)
(pathLength ?PATH ?NUMBER)))))
Agar "number unit(s)" is equal to quant aur unit is a subclass of quanttype, to quant is an instance of quanttype.
(=>
(and
(equal
(MeasureFn ?NUMBER ?UNIT)
?QUANT)
(subclass ?UNIT ?QUANTTYPE))
(instance ?QUANT ?QUANTTYPE))
(=>
(and
(instance ?REL RelationExtendedToQuantities)
(instance ?REL TernaryRelation)
(instance ?NUMBER1 RealNumber)
(instance ?NUMBER2 RealNumber)
(holds ?REL ?NUMBER1 ?NUMBER2 ?VALUE))
(forall
(?UNIT)
(=>
(instance ?UNIT UnitOfMeasure)
(holds
?REL
(MeasureFn ?NUMBER1 ?UNIT)
(MeasureFn ?NUMBER2 ?UNIT)
(MeasureFn ?VALUE ?UNIT)))))
(=>
(and
(instance ?REL RelationExtendedToQuantities)
(instance ?REL BinaryRelation)
(instance ?NUMBER1 RealNumber)
(instance ?NUMBER2 RealNumber)
(holds ?REL ?NUMBER1 ?NUMBER2))
(forall
(?UNIT)
(=>
(instance ?UNIT UnitOfMeasure)
(holds
?REL
(MeasureFn ?NUMBER1 ?UNIT)
(MeasureFn ?NUMBER2 ?UNIT)))))
Agar unit is an instance of maapaka ikaaI, to "1 thousand units" is equal to " unit(s)".
(=>
(instance ?UNIT UnitOfMeasure)
(equal
(KiloFn ?UNIT)
(MeasureFn 1000 ?UNIT)))
Agar unit is an instance of maapaka ikaaI, to "1 million units" is equal to " unit(s)".
(=>
(instance ?UNIT UnitOfMeasure)
(equal
(MegaFn ?UNIT)
(MeasureFn 1000000 ?UNIT)))
Agar unit is an instance of maapaka ikaaI, to "1 billion units " is equal to " unit(s)".
(=>
(instance ?UNIT UnitOfMeasure)
(equal
(GigaFn ?UNIT)
(MeasureFn 1000000000 ?UNIT)))
Agar unit is an instance of maapaka ikaaI, to "1 trillion units" is equal to " unit(s)".
(=>
(instance ?UNIT UnitOfMeasure)
(equal
(TeraFn ?UNIT)
(MeasureFn 1000000000000 ?UNIT)))
Agar unit is an instance of maapaka ikaaI, to "one thousandth of a unit" is equal to " unit(s)".
(=>
(instance ?UNIT UnitOfMeasure)
(equal
(MilliFn ?UNIT)
(MeasureFn 0.001 ?UNIT)))
Agar unit is an instance of maapaka ikaaI, to "one millionth of a unit" is equal to " unit(s)".
(=>
(instance ?UNIT UnitOfMeasure)
(equal
(MicroFn ?UNIT)
(MeasureFn 0.000001 ?UNIT)))
Agar unit is an instance of maapaka ikaaI, to "one billionth of a unit" is equal to " unit(s)".
(=>
(instance ?UNIT UnitOfMeasure)
(equal
(NanoFn ?UNIT)
(MeasureFn 0.000000001 ?UNIT)))
Agar unit is an instance of maapaka ikaaI, to "one trillionth of a unit" is equal to " unit(s)".
(=>
(instance ?UNIT UnitOfMeasure)
(equal
(PicoFn ?UNIT)
(MeasureFn 0.000000000001 ?UNIT)))
Agar number is an instance of vaastavika anka aur unit is an instance of maapaka ikaaI, to "the magnitude of "number unit(s)"" is equal to number.
(=>
(and
(instance ?NUMBER RealNumber)
(instance ?UNIT UnitOfMeasure))
(equal
(MagnitudeFn
(MeasureFn ?NUMBER ?UNIT))
?NUMBER))
Agar the measure of object is "distance per time in ref in the direction direction", to the measure of object is "distance per time".
(=>
(measure
?OBJECT
(VelocityFn ?DISTANCE ?TIME ?REF ?DIRECTION))
(measure
?OBJECT
(SpeedFn ?DISTANCE ?TIME)))
Agar number is an instance of vaastavika anka, to "number centimeter(s)" is equal to ""number*" meter(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER Centimeter)
(MeasureFn
(MultiplicationFn ?NUMBER 0.01)
Meter)))
Agar number is an instance of vaastavika anka, to "number celsius degree(s)" is equal to ""(number-)" kelvin degree(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER CelsiusDegree)
(MeasureFn
(SubtractionFn ?NUMBER 273.15)
KelvinDegree)))
Agar number is an instance of vaastavika anka, to "number celsius degree(s)" is equal to """(number-)"/" fahrenheit degree(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER CelsiusDegree)
(MeasureFn
(DivisionFn
(SubtractionFn ?NUMBER 32)
1.8)
FahrenheitDegree)))
Agar number is an instance of vaastavika anka, to "number day duration(s)" is equal to ""number*" hour duration(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER DayDuration)
(MeasureFn
(MultiplicationFn ?NUMBER 24)
HourDuration)))
Agar number is an instance of vaastavika anka, to "number hour duration(s)" is equal to ""number*" minute duration(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER HourDuration)
(MeasureFn
(MultiplicationFn ?NUMBER 60)
MinuteDuration)))
Agar number is an instance of vaastavika anka, to "number minute duration(s)" is equal to ""number*" second duration(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER MinuteDuration)
(MeasureFn
(MultiplicationFn ?NUMBER 60)
SecondDuration)))
Agar number is an instance of vaastavika anka, to "number week duration(s)" is equal to ""number*" day duration(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER WeekDuration)
(MeasureFn
(MultiplicationFn ?NUMBER 7)
DayDuration)))
Agar number is an instance of vaastavika anka, to "number year duration(s)" is equal to ""number*" day duration(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER YearDuration)
(MeasureFn
(MultiplicationFn ?NUMBER 365)
DayDuration)))
Agar number is an instance of vaastavika anka, to "number amu(s)" is equal to ""number**" gram(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER Amu)
(MeasureFn
(MultiplicationFn ?NUMBER 1.6605402 E-24)
Gram)))
Agar number is an instance of vaastavika anka, to "number electron volt(s)" is equal to ""number**" joule(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER ElectronVolt)
(MeasureFn
(MultiplicationFn ?NUMBER 1.60217733 E-19)
Joule)))
Agar number is an instance of vaastavika anka, to "number angstrom(s)" is equal to ""number**" meter(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER Angstrom)
(MeasureFn
(MultiplicationFn ?NUMBER 1.0 E-10)
Meter)))
Agar number is an instance of vaastavika anka, to "number foot(s)" is equal to ""number*" meter(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER Foot)
(MeasureFn
(MultiplicationFn ?NUMBER 0.3048)
Meter)))
Agar number is an instance of vaastavika anka, to "number inch(s)" is equal to ""number*" meter(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER Inch)
(MeasureFn
(MultiplicationFn ?NUMBER 0.0254)
Meter)))
Agar number is an instance of vaastavika anka, to "number mile(s)" is equal to ""number*" meter(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER Mile)
(MeasureFn
(MultiplicationFn ?NUMBER 1609.344)
Meter)))
Agar number is an instance of vaastavika anka, to "number united states gallon(s)" is equal to ""number*" liter(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER UnitedStatesGallon)
(MeasureFn
(MultiplicationFn ?NUMBER 3.785411784)
Liter)))
Agar number is an instance of vaastavika anka, to "number quart(s)" is equal to ""number/" united states gallon(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER Quart)
(MeasureFn
(DivisionFn ?NUMBER 4)
UnitedStatesGallon)))
Agar number is an instance of vaastavika anka, to "number pint(s)" is equal to ""number/" quart(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER Pint)
(MeasureFn
(DivisionFn ?NUMBER 2)
Quart)))
Agar number is an instance of vaastavika anka, to "number cup(s)" is equal to ""number/" pint(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER Cup)
(MeasureFn
(DivisionFn ?NUMBER 2)
Pint)))
Agar number is an instance of vaastavika anka, to "number ounce(s)" is equal to ""number/" cup(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER Ounce)
(MeasureFn
(DivisionFn ?NUMBER 8)
Cup)))
Agar number is an instance of vaastavika anka, to "number united kingdom gallon(s)" is equal to ""number*" liter(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER UnitedKingdomGallon)
(MeasureFn
(MultiplicationFn ?NUMBER 4.54609)
Liter)))
Agar number is an instance of vaastavika anka, to "number pound mass(s)" is equal to ""number*" gram(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER PoundMass)
(MeasureFn
(MultiplicationFn ?NUMBER 453.59237)
Gram)))
Agar number is an instance of vaastavika anka, to "number slug(s)" is equal to ""number*" gram(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER Slug)
(MeasureFn
(MultiplicationFn ?NUMBER 14593.90)
Gram)))
Agar number is an instance of vaastavika anka, to "number rankine degree(s)" is equal to ""number*" kelvin degree(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER RankineDegree)
(MeasureFn
(MultiplicationFn ?NUMBER 1.8)
KelvinDegree)))
Agar number is an instance of vaastavika anka, to "number pound force(s)" is equal to ""number*" newton(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER PoundForce)
(MeasureFn
(MultiplicationFn ?NUMBER 4.448222)
Newton)))
Agar number is an instance of vaastavika anka, to "number calorie(s)" is equal to ""number*" joule(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER Calorie)
(MeasureFn
(MultiplicationFn ?NUMBER 4.1868)
Joule)))
Agar number is an instance of vaastavika anka, to "number british thermal unit(s)" is equal to ""number*" joule(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER BritishThermalUnit)
(MeasureFn
(MultiplicationFn ?NUMBER 1055.05585262)
Joule)))
Agar number is an instance of vaastavika anka, to "number angular degree(s)" is equal to ""number*"paaii/"" radian(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER AngularDegree)
(MeasureFn
(MultiplicationFn
?NUMBER
(DivisionFn Pi 180))
Radian)))
Agar number is an instance of vaastavika anka, to "number united states cent(s)" is equal to ""number*" united states dollar(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER UnitedStatesCent)
(MeasureFn
(MultiplicationFn ?NUMBER 0.01)
UnitedStatesDollar)))
Agar number is an instance of vaastavika anka, to "number euro cent(s)" is equal to ""number*" euro dollar(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER EuroCent)
(MeasureFn
(MultiplicationFn ?NUMBER 0.01)
EuroDollar)))
Agar number is an instance of vaastavika anka, to "number byte(s)" is equal to ""number*" bit(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER Byte)
(MeasureFn
(MultiplicationFn ?NUMBER 8)
Bit)))
Agar number is an instance of vaastavika anka, to "number kilo byte(s)" is equal to ""number*" byte(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER KiloByte)
(MeasureFn
(MultiplicationFn ?NUMBER 1024)
Byte)))
Agar number is an instance of vaastavika anka, to "number mega byte(s)" is equal to ""number*" kilo byte(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER MegaByte)
(MeasureFn
(MultiplicationFn ?NUMBER 1024)
KiloByte)))
Agar the distance between obj1 and obj2 is quant, to the distance between obj2 and obj1 is quant.
(=>
(distance ?OBJ1 ?OBJ2 ?QUANT)
(distance ?OBJ2 ?OBJ1 ?QUANT))
Agar the altitude of obj1 is obj2, to obj1 is above to obj2.
(=>
(altitude ?OBJ1 ?OBJ2 ?HEIGHT)
(orientation ?OBJ1 ?OBJ2 Above))
Agar the altitude of obj1 is obj2, to yah kuch top nahin, ki the top of obj1 is top aur the distance between top and obj2 is height.
(=>
(altitude ?OBJ1 ?OBJ2 ?HEIGHT)
(exists
(?TOP)
(and
(top ?TOP ?OBJ1)
(distance ?TOP ?OBJ2 ?HEIGHT))))
Agar depth(obj1,obj2,depth) ke lie hai, ki, to obj1 is below to obj2.
(=>
(depth ?OBJ1 ?OBJ2 ?DEPTH)
(orientation ?OBJ1 ?OBJ2 Below))
Agar depth(obj1,obj2,depth) ke lie hai, ki, to yah kuch bottom nahin, ki the bottom of obj1 is bottom aur the distance between bottom and obj2 is depth.
(=>
(depth ?OBJ1 ?OBJ2 ?DEPTH)
(exists
(?BOTTOM)
(and
(bottom ?BOTTOM ?OBJ1)
(distance ?BOTTOM ?OBJ2 ?DEPTH))))
(=>
(larger ?OBJ1 ?OBJ2)
(forall
(?QUANT1 ?QUANT2)
(=>
(and
(measure
?OBJ1
(MeasureFn ?QUANT1 LengthMeasure))
(measure
?OBJ2
(MeasureFn ?QUANT2 LengthMeasure)))
(greaterThan ?QUANT1 ?QUANT2))))
Agar point is an instance of samaya biMdu aur point is not equal to positive infinity, to point happen?{s} before positive infinity.
(=>
(and
(instance ?POINT TimePoint)
(not
(equal ?POINT PositiveInfinity)))
(before ?POINT PositiveInfinity))
Agar point is an instance of samaya biMdu aur point is not equal to positive infinity, to yah kuch otherpoint nahin, ki otherpoint is between point and positive infinity.
(=>
(and
(instance ?POINT TimePoint)
(not
(equal ?POINT PositiveInfinity)))
(exists
(?OTHERPOINT)
(temporallyBetween ?POINT ?OTHERPOINT PositiveInfinity)))
Agar point is an instance of samaya biMdu aur point is not equal to negative infinity, to negative infinity happen?{s} before point.
(=>
(and
(instance ?POINT TimePoint)
(not
(equal ?POINT NegativeInfinity)))
(before NegativeInfinity ?POINT))
Agar point is an instance of samaya biMdu aur point is not equal to negative infinity, to yah kuch otherpoint nahin, ki otherpoint is between negative infinity and point.
(=>
(and
(instance ?POINT TimePoint)
(not
(equal ?POINT NegativeInfinity)))
(exists
(?OTHERPOINT)
(temporallyBetween NegativeInfinity ?OTHERPOINT ?POINT)))
- agar proc occurs every time1,
- to sab-kuch time2 ke lie hai, ki: agar duration of time2 is time1, to yah kuch position nahin, ki position is a part of time2 aur yah kuch inst nahin, ki inst is an instance of proc during position
.
(=>
(frequency ?PROC ?TIME1)
(forall
(?TIME2)
(=>
(duration ?TIME2 ?TIME1)
(exists
(?POSITION)
(and
(temporalPart ?POSITION ?TIME2)
(holdsDuring
?POSITION
(exists
(?INST)
(instance ?INST ?PROC))))))))
Agar point is an instance of samaya biMdu, to yah kuch samaya aMtaraala interval nahin, ki point is a part of interval.
(=>
(instance ?POINT TimePoint)
(exists
(?INTERVAL)
(and
(instance ?INTERVAL TimeInterval)
(temporalPart ?POINT ?INTERVAL))))
Agar interval is an instance of samaya aMtaraala, to yah kuch samaya biMdu point nahin, ki point is a part of interval.
(=>
(instance ?INTERVAL TimeInterval)
(exists
(?POINT)
(and
(instance ?POINT TimePoint)
(temporalPart ?POINT ?INTERVAL))))
Agar situation holds during time1 aur time2 is a part of time1, to situation holds during time2.
(=>
(and
(holdsDuring ?TIME1 ?SITUATION)
(temporalPart ?TIME2 ?TIME1))
(holdsDuring ?TIME2 ?SITUATION))
Agar rel(inst1,inst2) holds during interval aur inst1 is an instance of bhOtika vaswu aur inst2 is an instance of bhOtika vaswu, to inst1 exists during interval aur inst2 exists during interval.
(=>
(and
(holdsDuring
?INTERVAL
(holds ?REL ?INST1 ?INST2))
(instance ?INST1 Physical)
(instance ?INST2 Physical))
(and
(time ?INST1 ?INTERVAL)
(time ?INST2 ?INTERVAL)))
- agar "the beginning of interval" is equal to point,
- to sab-kuch otherpoint ke lie hai, ki: agar otherpoint is a part of interval aur otherpoint is not equal to point, to point happen?{s} before otherpoint
.
(=>
(equal
(BeginFn ?INTERVAL)
?POINT)
(forall
(?OTHERPOINT)
(=>
(and
(temporalPart ?OTHERPOINT ?INTERVAL)
(not
(equal ?OTHERPOINT ?POINT)))
(before ?POINT ?OTHERPOINT))))
Agar process origins at obj, to "process ki jagah "the beginning of "the time of existence of process"" tha" is located at "obj ki jagah "the beginning of "the time of existence of obj"" tha".
(=>
(origin ?PROCESS ?OBJ)
(located
(WhereFn
?PROCESS
(BeginFn
(WhenFn ?PROCESS)))
(WhereFn
?OBJ
(BeginFn
(WhenFn ?OBJ)))))
- agar "the end of interval" is equal to point,
- to sab-kuch otherpoint ke lie hai, ki: agar otherpoint is a part of interval aur otherpoint is not equal to point, to otherpoint happen?{s} before point
.
(=>
(equal
(EndFn ?INTERVAL)
?POINT)
(forall
(?OTHERPOINT)
(=>
(and
(temporalPart ?OTHERPOINT ?INTERVAL)
(not
(equal ?OTHERPOINT ?POINT)))
(before ?OTHERPOINT ?POINT))))
(=>
(instance ?OBJ Object)
(exists
(?TIME1 ?TIME2)
(and
(instance ?TIME1 TimePoint)
(instance ?TIME2 TimePoint)
(before ?TIME1 ?TIME2)
(forall
(?TIME)
(=>
(and
(beforeOrEqual ?TIME1 ?TIME)
(beforeOrEqual ?TIME ?TIME2))
(time ?OBJ ?TIME))))))
- agar obj is a result of proc,
- to sab-kuch time ke lie hai, ki: agar time happen?{s} before "the beginning of "the time of existence of proc"", to obj doesn't exist during time
.
(=>
(result ?PROC ?OBJ)
(forall
(?TIME)
(=>
(before
?TIME
(BeginFn
(WhenFn ?PROC)))
(not
(time ?OBJ ?TIME)))))
Agar point1 happen?{s} before or at point2, to point1 happen?{s} before point2 yaa point1 is equal to point2.
(=>
(beforeOrEqual ?POINT1 ?POINT2)
(or
(before ?POINT1 ?POINT2)
(equal ?POINT1 ?POINT2)))
Agar rel is an instance of sthaana sambandha aur rel(obj1,obj2) holds, to "the time of existence of obj2" overlaps "the time of existence of obj1".
(=>
(and
(instance ?REL SpatialRelation)
(holds ?REL ?OBJ1 ?OBJ2))
(overlapsTemporally
(WhenFn ?OBJ1)
(WhenFn ?OBJ2)))
Agar interval1 takes place during interval2, to "the end of interval1" happen?{s} before "the end of interval2" aur "the beginning of interval2" happen?{s} before "the beginning of interval1".
(=>
(during ?INTERVAL1 ?INTERVAL2)
(and
(before
(EndFn ?INTERVAL1)
(EndFn ?INTERVAL2))
(before
(BeginFn ?INTERVAL2)
(BeginFn ?INTERVAL1))))
Agar "the beginning of interval1" is equal to "the beginning of interval2" aur "the end of interval1" is equal to "the end of interval2", to interval1 is equal to interval2.
(=>
(and
(equal
(BeginFn ?INTERVAL1)
(BeginFn ?INTERVAL2))
(equal
(EndFn ?INTERVAL1)
(EndFn ?INTERVAL2)))
(equal ?INTERVAL1 ?INTERVAL2))
Agar "interval between point1 and point2" is equal to interval, to "the beginning of interval" is equal to point1 aur "the end of interval" is equal to point2.
(=>
(equal
(TimeIntervalFn ?POINT1 ?POINT2)
?INTERVAL)
(and
(equal
(BeginFn ?INTERVAL)
?POINT1)
(equal
(EndFn ?INTERVAL)
?POINT2)))
Agar "interval between point1 and point2" is equal to interval, to sab-kuch point ke lie hai, ki: point is between or at point1 and point2 agar hai point is a part of interval.
(=>
(equal
(TimeIntervalFn ?POINT1 ?POINT2)
?INTERVAL)
(forall
(?POINT)
(<=>
(temporallyBetweenOrEqual ?POINT1 ?POINT ?POINT2)
(temporalPart ?POINT ?INTERVAL))))
Agar interval is an instance of "the recurring period from timeclass1 to timeclass2", to yah kuch timeclass1 time1,timeclass2 time2 nahin, ki time1 starts interval aur time2 finishes interval.
(=>
(instance
?INTERVAL
(RecurrentTimeIntervalFn ?TIMECLASS1 ?TIMECLASS2))
(exists
(?TIME1 ?TIME2)
(and
(instance ?TIME1 ?TIMECLASS1)
(instance ?TIME2 ?TIMECLASS2)
(starts ?TIME1 ?INTERVAL)
(finishes ?TIME2 ?INTERVAL))))
Agar thing is an instance of bhOtika vaswu, to "the beginning of "the time of existence of thing"" happen?{s} before "the end of "the time of existence of thing"".
(=>
(instance ?THING Physical)
(before
(BeginFn
(WhenFn ?THING))
(EndFn
(WhenFn ?THING))))
Agar thing is an instance of bhOtika vaswu, to "before "the time of existence of thing"" meets "the time of existence of thing".
(=>
(instance ?THING Physical)
(meetsTemporally
(PastFn
(WhenFn ?THING))
(WhenFn ?THING)))
Agar process is an instance of bhOtika vaswu, to "before "the time of existence of process"" is equal to "interval between negative infinity and "the beginning of "the time of existence of process""".
(=>
(instance ?PROCESS Physical)
(equal
(PastFn
(WhenFn ?PROCESS))
(TimeIntervalFn
NegativeInfinity
(BeginFn
(WhenFn ?PROCESS)))))
Agar thing is an instance of bhOtika vaswu, to "immediately before "the time of existence of thing"" finishes "before "the time of existence of thing"".
(=>
(instance ?THING Physical)
(finishes
(ImmediatePastFn
(WhenFn ?THING))
(PastFn
(WhenFn ?THING))))
Agar obj is a resource for proc aur the measure of obj is quant1 immediately before "the time of existence of proc" aur the measure of obj is quant2 immediately after "the time of existence of proc", to quant1 is greater than quant2.
(=>
(and
(resource ?PROC ?OBJ)
(holdsDuring
(ImmediatePastFn
(WhenFn ?PROC))
(measure ?OBJ ?QUANT1))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?PROC))
(measure ?OBJ ?QUANT2)))
(greaterThan ?QUANT1 ?QUANT2))
Agar thing is an instance of bhOtika vaswu, to "the time of existence of thing" meets "after "the time of existence of thing"".
(=>
(instance ?THING Physical)
(meetsTemporally
(WhenFn ?THING)
(FutureFn
(WhenFn ?THING))))
Agar process is an instance of bhOtika vaswu, to "after "the time of existence of process"" is equal to "interval between "the end of "the time of existence of process"" and positive infinity".
(=>
(instance ?PROCESS Physical)
(equal
(FutureFn
(WhenFn ?PROCESS))
(TimeIntervalFn
(EndFn
(WhenFn ?PROCESS))
PositiveInfinity)))
Agar thing is an instance of bhOtika vaswu, to "immediately after "the time of existence of thing"" starts "after "the time of existence of thing"".
(=>
(instance ?THING Physical)
(starts
(ImmediateFutureFn
(WhenFn ?THING))
(FutureFn
(WhenFn ?THING))))
Agar day is an instance of "the day number", to number is less than or equal to .
(=>
(instance
?DAY
(DayFn ?NUMBER ?MONTH))
(lessThanOrEqualTo ?NUMBER 31))
Agar day1 is an instance of "the day number1" aur day2 is an instance of "the day number2" aur "(number2-number1)" is equal to , to day1 meets day2.
(=>
(and
(instance
?DAY1
(DayFn ?NUMBER1 ?MONTH))
(instance
?DAY2
(DayFn ?NUMBER2 ?MONTH))
(equal
(SubtractionFn ?NUMBER2 ?NUMBER1)
1))
(meetsTemporally ?DAY1 ?DAY2))
Agar hour is an instance of "the hour number", to number is less than .
(=>
(instance
?HOUR
(HourFn ?NUMBER ?DAY))
(lessThan ?NUMBER 24))
Agar hour1 is an instance of "the hour number1" aur hour2 is an instance of "the hour number2" aur "(number2-number1)" is equal to , to hour1 meets hour2.
(=>
(and
(instance
?HOUR1
(HourFn ?NUMBER1 ?DAY))
(instance
?HOUR2
(HourFn ?NUMBER2 ?DAY))
(equal
(SubtractionFn ?NUMBER2 ?NUMBER1)
1))
(meetsTemporally ?HOUR1 ?HOUR2))
Agar minute is an instance of "the minute number", to number is less than .
(=>
(instance
?MINUTE
(MinuteFn ?NUMBER ?HOUR))
(lessThan ?NUMBER 60))
Agar minute1 is an instance of "the minute number1" aur minute2 is an instance of "the minute number2" aur "(number2-number1)" is equal to , to minute1 meets minute2.
(=>
(and
(instance
?MINUTE1
(MinuteFn ?NUMBER1 ?HOUR))
(instance
?MINUTE2
(MinuteFn ?NUMBER2 ?HOUR))
(equal
(SubtractionFn ?NUMBER2 ?NUMBER1)
1))
(meetsTemporally ?MINUTE1 ?MINUTE2))
Agar second is an instance of "the second number", to number is less than .
(=>
(instance
?SECOND
(SecondFn ?NUMBER ?MINUTE))
(lessThan ?NUMBER 60))
Agar second1 is an instance of "the second number1" aur second2 is an instance of "the second number2" aur "(number2-number1)" is equal to , to second1 meets second2.
(=>
(and
(instance
?SECOND1
(SecondFn ?NUMBER1 ?MINUTE))
(instance
?SECOND2
(SecondFn ?NUMBER2 ?MINUTE))
(equal
(SubtractionFn ?NUMBER2 ?NUMBER1)
1))
(meetsTemporally ?SECOND1 ?SECOND2))
Agar year is an instance of varsha, to duration of year is " year duration(s)".
(=>
(instance ?YEAR Year)
(duration
?YEAR
(MeasureFn 1 YearDuration)))
Agar year1 is an instance of varsha aur year2 is an instance of varsha aur "(year2-year1)" is equal to , to year1 meets year2.
(=>
(and
(instance ?YEAR1 Year)
(instance ?YEAR2 Year)
(equal
(SubtractionFn ?YEAR2 ?YEAR1)
1))
(meetsTemporally ?YEAR1 ?YEAR2))
Agar leap is an instance of adhivarsha aur leap is equal to "number varsha(s)", to
(=>
(and
(instance ?LEAP LeapYear)
(equal
?LEAP
(MeasureFn ?NUMBER Year)))
(or
(and
(equal
(RemainderFn ?NUMBER 4)
0)
(not
(equal
(RemainderFn ?NUMBER 100)
0)))
(equal
(RemainderFn ?NUMBER 400)
0)))
Agar month is an instance of janavarI, to duration of month is " day duration(s)".
(=>
(instance ?MONTH January)
(duration
?MONTH
(MeasureFn 31 DayDuration)))
Agar month1 is equal to "the month janavarI" aur month2 is equal to "the month pharavarI", to month1 meets month2.
(=>
(and
(equal
?MONTH1
(MonthFn January ?YEAR))
(equal
?MONTH2
(MonthFn February ?YEAR)))
(meetsTemporally ?MONTH1 ?MONTH2))
Agar "the month pharavarI" is equal to month aur year is not an instance of adhivarsha, to duration of month is " day duration(s)".
(=>
(and
(equal
(MonthFn February ?YEAR)
?MONTH)
(not
(instance ?YEAR LeapYear)))
(duration
?MONTH
(MeasureFn 28 DayDuration)))
Agar "the month pharavarI" is equal to month aur year is an instance of adhivarsha, to duration of month is " day duration(s)".
(=>
(and
(equal
(MonthFn February ?YEAR)
?MONTH)
(instance ?YEAR LeapYear))
(duration
?MONTH
(MeasureFn 29 DayDuration)))
Agar month1 is equal to "the month pharavarI" aur month2 is equal to "the month maarcha", to month1 meets month2.
(=>
(and
(equal
?MONTH1
(MonthFn February ?YEAR))
(equal
?MONTH2
(MonthFn March ?YEAR)))
(meetsTemporally ?MONTH1 ?MONTH2))
Agar month is an instance of maarcha, to duration of month is " day duration(s)".
(=>
(instance ?MONTH March)
(duration
?MONTH
(MeasureFn 31 DayDuration)))
Agar month1 is equal to "the month maarcha" aur month2 is equal to "the month aprEla", to month1 meets month2.
(=>
(and
(equal
?MONTH1
(MonthFn March ?YEAR))
(equal
?MONTH2
(MonthFn April ?YEAR)))
(meetsTemporally ?MONTH1 ?MONTH2))
Agar month is an instance of aprEla, to duration of month is " day duration(s)".
(=>
(instance ?MONTH April)
(duration
?MONTH
(MeasureFn 30 DayDuration)))
Agar month1 is equal to "the month aprEla" aur month2 is equal to "the month maI", to month1 meets month2.
(=>
(and
(equal
?MONTH1
(MonthFn April ?YEAR))
(equal
?MONTH2
(MonthFn May ?YEAR)))
(meetsTemporally ?MONTH1 ?MONTH2))
Agar month is an instance of maI, to duration of month is " day duration(s)".
(=>
(instance ?MONTH May)
(duration
?MONTH
(MeasureFn 31 DayDuration)))
Agar month1 is equal to "the month maI" aur month2 is equal to "the month jUna", to month1 meets month2.
(=>
(and
(equal
?MONTH1
(MonthFn May ?YEAR))
(equal
?MONTH2
(MonthFn June ?YEAR)))
(meetsTemporally ?MONTH1 ?MONTH2))
Agar month is an instance of jUna, to duration of month is " day duration(s)".
(=>
(instance ?MONTH June)
(duration
?MONTH
(MeasureFn 30 DayDuration)))
Agar month1 is equal to "the month jUna" aur month2 is equal to "the month julAI", to month1 meets month2.
(=>
(and
(equal
?MONTH1
(MonthFn June ?YEAR))
(equal
?MONTH2
(MonthFn July ?YEAR)))
(meetsTemporally ?MONTH1 ?MONTH2))
Agar month is an instance of julAI, to duration of month is " day duration(s)".
(=>
(instance ?MONTH July)
(duration
?MONTH
(MeasureFn 31 DayDuration)))
Agar month1 is equal to "the month julAI" aur month2 is equal to "the month agasta", to month1 meets month2.
(=>
(and
(equal
?MONTH1
(MonthFn July ?YEAR))
(equal
?MONTH2
(MonthFn August ?YEAR)))
(meetsTemporally ?MONTH1 ?MONTH2))
Agar month is an instance of agasta, to duration of month is " day duration(s)".
(=>
(instance ?MONTH August)
(duration
?MONTH
(MeasureFn 31 DayDuration)))
Agar month1 is equal to "the month agasta" aur month2 is equal to "the month sitambara", to month1 meets month2.
(=>
(and
(equal
?MONTH1
(MonthFn August ?YEAR))
(equal
?MONTH2
(MonthFn September ?YEAR)))
(meetsTemporally ?MONTH1 ?MONTH2))
Agar month is an instance of sitambara, to duration of month is " day duration(s)".
(=>
(instance ?MONTH September)
(duration
?MONTH
(MeasureFn 30 DayDuration)))
Agar month1 is equal to "the month sitambara" aur month2 is equal to "the month aktUbara", to month1 meets month2.
(=>
(and
(equal
?MONTH1
(MonthFn September ?YEAR))
(equal
?MONTH2
(MonthFn October ?YEAR)))
(meetsTemporally ?MONTH1 ?MONTH2))
Agar month is an instance of aktUbara, to duration of month is " day duration(s)".
(=>
(instance ?MONTH October)
(duration
?MONTH
(MeasureFn 31 DayDuration)))
Agar month1 is equal to "the month aktUbara" aur month2 is equal to "the month navambara", to month1 meets month2.
(=>
(and
(equal
?MONTH1
(MonthFn October ?YEAR))
(equal
?MONTH2
(MonthFn November ?YEAR)))
(meetsTemporally ?MONTH1 ?MONTH2))
Agar month is an instance of navambara, to duration of month is " day duration(s)".
(=>
(instance ?MONTH November)
(duration
?MONTH
(MeasureFn 30 DayDuration)))
Agar month1 is equal to "the month navambara" aur month2 is equal to "the month disambara", to month1 meets month2.
(=>
(and
(equal
?MONTH1
(MonthFn November ?YEAR))
(equal
?MONTH2
(MonthFn December ?YEAR)))
(meetsTemporally ?MONTH1 ?MONTH2))
Agar month is an instance of disambara, to duration of month is " day duration(s)".
(=>
(instance ?MONTH December)
(duration
?MONTH
(MeasureFn 31 DayDuration)))
Agar month1 is equal to "the month disambara" aur month2 is equal to "the month janavarI" aur year1 meets year2, to month1 meets month2.
(=>
(and
(equal
?MONTH1
(MonthFn December ?YEAR1))
(equal
?MONTH2
(MonthFn January ?YEAR2))
(meetsTemporally ?YEAR1 ?YEAR2))
(meetsTemporally ?MONTH1 ?MONTH2))
Agar day is an instance of divasa, to duration of day is " day duration(s)".
(=>
(instance ?DAY Day)
(duration
?DAY
(MeasureFn 1 DayDuration)))
Agar day1 is an instance of somavaara aur day2 is an instance of mangalavaara aur week is an instance of saptaaha aur day1 is a part of week aur day2 is a part of week, to day1 meets day2.
(=>
(and
(instance ?DAY1 Monday)
(instance ?DAY2 Tuesday)
(instance ?WEEK Week)
(temporalPart ?DAY1 ?WEEK)
(temporalPart ?DAY2 ?WEEK))
(meetsTemporally ?DAY1 ?DAY2))
Agar day1 is an instance of mangalavaara aur day2 is an instance of budhavaara aur week is an instance of saptaaha aur day1 is a part of week aur day2 is a part of week, to day1 meets day2.
(=>
(and
(instance ?DAY1 Tuesday)
(instance ?DAY2 Wednesday)
(instance ?WEEK Week)
(temporalPart ?DAY1 ?WEEK)
(temporalPart ?DAY2 ?WEEK))
(meetsTemporally ?DAY1 ?DAY2))
Agar day1 is an instance of budhavaara aur day2 is an instance of bQhaspativaara aur week is an instance of saptaaha aur day1 is a part of week aur day2 is a part of week, to day1 meets day2.
(=>
(and
(instance ?DAY1 Wednesday)
(instance ?DAY2 Thursday)
(instance ?WEEK Week)
(temporalPart ?DAY1 ?WEEK)
(temporalPart ?DAY2 ?WEEK))
(meetsTemporally ?DAY1 ?DAY2))
Agar day1 is an instance of bQhaspativaara aur day2 is an instance of shukravaara aur week is an instance of saptaaha aur day1 is a part of week aur day2 is a part of week, to day1 meets day2.
(=>
(and
(instance ?DAY1 Thursday)
(instance ?DAY2 Friday)
(instance ?WEEK Week)
(temporalPart ?DAY1 ?WEEK)
(temporalPart ?DAY2 ?WEEK))
(meetsTemporally ?DAY1 ?DAY2))
Agar day1 is an instance of shukravaara aur day2 is an instance of shanivaara aur week is an instance of saptaaha aur day1 is a part of week aur day2 is a part of week, to day1 meets day2.
(=>
(and
(instance ?DAY1 Friday)
(instance ?DAY2 Saturday)
(instance ?WEEK Week)
(temporalPart ?DAY1 ?WEEK)
(temporalPart ?DAY2 ?WEEK))
(meetsTemporally ?DAY1 ?DAY2))
Agar day1 is an instance of shanivaara aur day2 is an instance of ravivaara aur week is an instance of saptaaha aur day1 is a part of week aur day2 is a part of week, to day1 meets day2.
(=>
(and
(instance ?DAY1 Saturday)
(instance ?DAY2 Sunday)
(instance ?WEEK Week)
(temporalPart ?DAY1 ?WEEK)
(temporalPart ?DAY2 ?WEEK))
(meetsTemporally ?DAY1 ?DAY2))
Agar day1 is an instance of ravivaara aur day2 is an instance of somavaara aur week1 is an instance of saptaaha aur week2 is an instance of saptaaha aur day1 is a part of week1 aur day2 is a part of week2 aur week1 meets week2, to day1 meets day2.
(=>
(and
(instance ?DAY1 Sunday)
(instance ?DAY2 Monday)
(instance ?WEEK1 Week)
(instance ?WEEK2 Week)
(temporalPart ?DAY1 ?WEEK1)
(temporalPart ?DAY2 ?WEEK2)
(meetsTemporally ?WEEK1 ?WEEK2))
(meetsTemporally ?DAY1 ?DAY2))
Agar week is an instance of saptaaha, to duration of week is " week duration(s)".
(=>
(instance ?WEEK Week)
(duration
?WEEK
(MeasureFn 1 WeekDuration)))
Agar hour is an instance of ghantaa, to duration of hour is " hour duration(s)".
(=>
(instance ?HOUR Hour)
(duration
?HOUR
(MeasureFn 1 HourDuration)))
Agar minute is an instance of minata, to duration of minute is " minute duration(s)".
(=>
(instance ?MINUTE Minute)
(duration
?MINUTE
(MeasureFn 1 MinuteDuration)))
Agar second is an instance of sekanda, to duration of second is " second duration(s)".
(=>
(instance ?SECOND Second)
(duration
?SECOND
(MeasureFn 1 SecondDuration)))
- agar "decomposition of interval into ? interval-types" is equal to class,
- to sab-kuch time1,time2 ke lie hai, ki: agar time1 is an instance of interval-type aur time2 is an instance of class, to yah kuch duration nahin, ki duration of time1 is duration aur duration of time2 is duration
.
(=>
(equal
(TemporalCompositionFn ?INTERVAL ?INTERVAL-TYPE)
?CLASS)
(forall
(?TIME1 ?TIME2)
(=>
(and
(instance ?TIME1 ?INTERVAL-TYPE)
(instance ?TIME2 ?CLASS))
(exists
(?DURATION)
(and
(duration ?TIME1 ?DURATION)
(duration ?TIME2 ?DURATION))))))
- agar "decomposition of interval into ? interval-types" is equal to class,
- to sab-kuch time1,time2 ke lie hai, ki: agar time1 is an instance of class aur time2 is an instance of class aur time1 is not equal to time2, to time1 meets time2 yaa time2 meets time1 yaa time1 happens earlier than time2 yaa time2 happens earlier than time1
.
(=>
(equal
(TemporalCompositionFn ?INTERVAL ?INTERVAL-TYPE)
?CLASS)
(forall
(?TIME1 ?TIME2)
(=>
(and
(instance ?TIME1 ?CLASS)
(instance ?TIME2 ?CLASS)
(not
(equal ?TIME1 ?TIME2)))
(or
(meetsTemporally ?TIME1 ?TIME2)
(meetsTemporally ?TIME2 ?TIME1)
(earlier ?TIME1 ?TIME2)
(earlier ?TIME2 ?TIME1)))))
Agar "decomposition of interval into ? interval-types" is equal to class, to yah kuch class time nahin, ki time starts interval.
(=>
(equal
(TemporalCompositionFn ?INTERVAL ?INTERVAL-TYPE)
?CLASS)
(exists
(?TIME)
(and
(instance ?TIME ?CLASS)
(starts ?TIME ?INTERVAL))))
Agar "decomposition of interval into ? interval-types" is equal to class, to yah kuch class time nahin, ki time finishes interval.
(=>
(equal
(TemporalCompositionFn ?INTERVAL ?INTERVAL-TYPE)
?CLASS)
(exists
(?TIME)
(and
(instance ?TIME ?CLASS)
(finishes ?TIME ?INTERVAL))))
- agar "decomposition of interval into ? interval-types" is equal to class,
- to sab-kuch time1 ke lie hai, ki: agar time1 is an instance of class aur time1 doesn't finish interval, to yah kuch class time2 nahin, ki time1 meets time2
.
(=>
(equal
(TemporalCompositionFn ?INTERVAL ?INTERVAL-TYPE)
?CLASS)
(forall
(?TIME1)
(=>
(and
(instance ?TIME1 ?CLASS)
(not
(finishes ?TIME1 ?INTERVAL)))
(exists
(?TIME2)
(and
(instance ?TIME2 ?CLASS)
(meetsTemporally ?TIME1 ?TIME2))))))
- agar "decomposition of interval into ? interval-types" is equal to class,
- to sab-kuch time1 ke lie hai, ki: agar time1 is an instance of class aur time1 doesn't start interval, to yah kuch class time2 nahin, ki time2 meets time1
.
(=>
(equal
(TemporalCompositionFn ?INTERVAL ?INTERVAL-TYPE)
?CLASS)
(forall
(?TIME1)
(=>
(and
(instance ?TIME1 ?CLASS)
(not
(starts ?TIME1 ?INTERVAL)))
(exists
(?TIME2)
(and
(instance ?TIME2 ?CLASS)
(meetsTemporally ?TIME2 ?TIME1))))))
- agar "decomposition of interval into ? interval-types" is equal to class,
- to sab-kuch time ke lie hai, ki: agar time is an instance of samaya biMdu aur time is a part of interval, to yah kuch class instance nahin, ki time is a part of instance
.
(=>
(equal
(TemporalCompositionFn ?INTERVAL ?INTERVAL-TYPE)
?CLASS)
(forall
(?TIME)
(=>
(and
(instance ?TIME TimePoint)
(temporalPart ?TIME ?INTERVAL))
(exists
(?INSTANCE)
(and
(instance ?INSTANCE ?CLASS)
(temporalPart ?TIME ?INSTANCE))))))
Agar year is an instance of varsha, to "the number of instances in "decomposition of year into ? mahInaas"" is equal to .
(=>
(instance ?YEAR Year)
(equal
(CardinalityFn
(TemporalCompositionFn ?YEAR Month))
12))
Agar month is an instance of mahInaa aur duration of month is "number day duration(s)", to "the number of instances in "decomposition of month into ? divasas"" is equal to number.
(=>
(and
(instance ?MONTH Month)
(duration
?MONTH
(MeasureFn ?NUMBER DayDuration)))
(equal
(CardinalityFn
(TemporalCompositionFn ?MONTH Day))
?NUMBER))
Agar week is an instance of saptaaha, to "the number of instances in "decomposition of week into ? divasas"" is equal to .
(=>
(instance ?WEEK Week)
(equal
(CardinalityFn
(TemporalCompositionFn ?WEEK Day))
7))
Agar day is an instance of divasa, to "the number of instances in "decomposition of day into ? ghantaas"" is equal to .
(=>
(instance ?DAY Day)
(equal
(CardinalityFn
(TemporalCompositionFn ?DAY Hour))
24))
Agar hour is an instance of ghantaa, to "the number of instances in "decomposition of hour into ? minatas"" is equal to .
(=>
(instance ?HOUR Hour)
(equal
(CardinalityFn
(TemporalCompositionFn ?HOUR Minute))
60))
Agar minute is an instance of minata, to "the number of instances in "decomposition of minute into ? sekandas"" is equal to .
(=>
(instance ?MINUTE Minute)
(equal
(CardinalityFn
(TemporalCompositionFn ?MINUTE Second))
60))
Agar obj1 is connected to obj2, to obj1 meets obj2 yaa obj1 overlaps with obj2.
(=>
(connected ?OBJ1 ?OBJ2)
(or
(meetsSpatially ?OBJ1 ?OBJ2)
(overlapsSpatially ?OBJ1 ?OBJ2)))
obj is an instance of aatmasambaddha vastu agar hai sab-kuch part1,part2 ke lie hai, ki: agar obj is equal to "the union of the parts of part1 and part2", to part1 is connected to part2.
(<=>
(instance ?OBJ SelfConnectedObject)
(forall
(?PART1 ?PART2)
(=>
(equal
?OBJ
(MereologicalSumFn ?PART1 ?PART2))
(connected ?PART1 ?PART2))))
Agar obj is partly located in region, to obj overlaps with region.
(=>
(partlyLocated ?OBJ ?REGION)
(overlapsSpatially ?OBJ ?REGION))
Agar obj1 is a member of coll aur obj2 is a member of coll aur obj1 is not equal to obj2, to obj1 doesn't overlap with obj2.
(=>
(and
(member ?OBJ1 ?COLL)
(member ?OBJ2 ?COLL)
(not
(equal ?OBJ1 ?OBJ2)))
(not
(overlapsSpatially ?OBJ1 ?OBJ2)))
Agar rel is an instance of vibhakti bhUmikaa aur rel(process,obj) holds, to yah kuch time nahin, ki "process ki jagah time tha" overlaps with obj.
(=>
(and
(instance ?REL CaseRole)
(holds ?REL ?PROCESS ?OBJ))
(exists
(?TIME)
(overlapsSpatially
(WhereFn ?PROCESS ?TIME)
?OBJ)))
Agar obj1 is a superficial part of obj2, to obj1 is not a interior part of obj2 aur yah kuch obj3 nahin, ki obj3 is a interior part of obj1.
(=>
(superficialPart ?OBJ1 ?OBJ2)
(and
(not
(interiorPart ?OBJ1 ?OBJ2))
(not
(exists
(?OBJ3)
(interiorPart ?OBJ3 ?OBJ1)))))
- agar obj1 obj2 kaa satah hai,
- to sab-kuch obj3 ke lie hai, ki: agar obj3 is a superficial part of obj2, to obj3 is a part of obj1
.
(=>
(surface ?OBJ1 ?OBJ2)
(forall
(?OBJ3)
(=>
(superficialPart ?OBJ3 ?OBJ2)
(part ?OBJ3 ?OBJ1))))
- agar obj1 is a interior part of obj2,
- to sab-kuch part ke lie hai, ki: agar part is a superficial part of obj2, to obj1 doesn't overlap with part
.
(=>
(interiorPart ?OBJ1 ?OBJ2)
(forall
(?PART)
(=>
(superficialPart ?PART ?OBJ2)
(not
(overlapsSpatially ?OBJ1 ?PART)))))
Agar the bottom of object is bottom aur part is a part of object aur part is not connected to bottom, to part is above to bottom.
(=>
(and
(bottom ?BOTTOM ?OBJECT)
(part ?PART ?OBJECT)
(not
(connected ?PART ?BOTTOM)))
(orientation ?PART ?BOTTOM Above))
Agar the top of object is top aur part is a part of object aur part is not connected to top, to part is below to top.
(=>
(and
(top ?TOP ?OBJECT)
(part ?PART ?OBJECT)
(not
(connected ?PART ?TOP)))
(orientation ?PART ?TOP Below))
Agar a side of object is side aur part is a part of object aur part is not connected to side, to yah kuch direct nahin, ki side is direct to part.
(=>
(and
(side ?SIDE ?OBJECT)
(part ?PART ?OBJECT)
(not
(connected ?PART ?SIDE)))
(exists
(?DIRECT)
(orientation ?SIDE ?PART ?DIRECT)))
Agar the height of object is height aur the top of object is top aur the bottom of object is bottom, to the distance between top and bottom is height.
(=>
(and
(height ?OBJECT ?HEIGHT)
(top ?TOP ?OBJECT)
(bottom ?BOTTOM ?OBJECT))
(distance ?TOP ?BOTTOM ?HEIGHT))
Agar obj3 is equal to "the union of the parts of obj1 and obj2", to sab-kuch part ke lie hai, ki: part is a part of obj3 agar hai part is a part of obj1 yaa part is a part of obj2.
(=>
(equal
?OBJ3
(MereologicalSumFn ?OBJ1 ?OBJ2))
(forall
(?PART)
(<=>
(part ?PART ?OBJ3)
(or
(part ?PART ?OBJ1)
(part ?PART ?OBJ2)))))
Agar obj3 is equal to "the intersection of the parts of obj1 and obj2", to sab-kuch part ke lie hai, ki: part is a part of obj3 agar hai part is a part of obj1 aur part is a part of obj2.
(=>
(equal
?OBJ3
(MereologicalProductFn ?OBJ1 ?OBJ2))
(forall
(?PART)
(<=>
(part ?PART ?OBJ3)
(and
(part ?PART ?OBJ1)
(part ?PART ?OBJ2)))))
Agar obj3 is equal to "the difference between the parts of obj1 and obj2", to sab-kuch part ke lie hai, ki: part is a part of obj3 agar hai part is a part of obj1 aur part is not a part of obj2.
(=>
(equal
?OBJ3
(MereologicalDifferenceFn ?OBJ1 ?OBJ2))
(forall
(?PART)
(<=>
(part ?PART ?OBJ3)
(and
(part ?PART ?OBJ1)
(not
(part ?PART ?OBJ2))))))
Agar hole obj men chidra hai, to obj is not an instance of antaraala.
(=>
(hole ?HOLE ?OBJ)
(not
(instance ?OBJ Hole)))
Agar hole obj men chidra hai, to hole doesn't overlap with obj.
(=>
(hole ?HOLE ?OBJ)
(not
(overlapsSpatially ?HOLE ?OBJ)))
Agar hole obj1 men chidra hai aur hole obj2 men chidra hai, to yah kuch obj3 nahin, ki obj3 is a properPart of "the intersection of the parts of obj1 and obj2" aur hole obj3 men chidra hai.
(=>
(and
(hole ?HOLE ?OBJ1)
(hole ?HOLE ?OBJ2))
(exists
(?OBJ3)
(and
(properPart
?OBJ3
(MereologicalProductFn ?OBJ1 ?OBJ2))
(hole ?HOLE ?OBJ3))))
- agar hole1 obj men chidra hai aur hole2 obj men chidra hai,
- to sab-kuch hole3 ke lie hai, ki: agar hole3 is a part of "the union of the parts of hole1 and hole2", to hole3 obj men chidra hai
.
(=>
(and
(hole ?HOLE1 ?OBJ)
(hole ?HOLE2 ?OBJ))
(forall
(?HOLE3)
(=>
(part
?HOLE3
(MereologicalSumFn ?HOLE1 ?HOLE2))
(hole ?HOLE3 ?OBJ))))
Agar hole obj1 men chidra hai aur obj1 is a part of obj2, to hole overlaps with obj2 yaa hole obj2 men chidra hai.
(=>
(and
(hole ?HOLE ?OBJ1)
(part ?OBJ1 ?OBJ2))
(or
(overlapsSpatially ?HOLE ?OBJ2)
(hole ?HOLE ?OBJ2)))
Agar hole1 obj1 men chidra hai aur hole2 obj2 men chidra hai aur hole1 overlaps with hole2, to obj1 overlaps with obj2.
(=>
(and
(hole ?HOLE1 ?OBJ1)
(hole ?HOLE2 ?OBJ2)
(overlapsSpatially ?HOLE1 ?HOLE2))
(overlapsSpatially ?OBJ1 ?OBJ2))
Agar hole1 is an instance of antaraala, to yah kuch hole2 nahin, ki hole2 is a properPart of hole1.
(=>
(instance ?HOLE1 Hole)
(exists
(?HOLE2)
(properPart ?HOLE2 ?HOLE1)))
Agar obj1 is equal to "the host of the hole hole", to sab-kuch obj2 ke lie hai, ki: obj2 overlaps with obj1 agar hai yah kuch obj3 nahin, ki hole obj3 men chidra hai aur obj2 overlaps with obj3.
(=>
(equal
?OBJ1
(PrincipalHostFn ?HOLE))
(forall
(?OBJ2)
(<=>
(overlapsSpatially ?OBJ2 ?OBJ1)
(exists
(?OBJ3)
(and
(hole ?HOLE ?OBJ3)
(overlapsSpatially ?OBJ2 ?OBJ3))))))
Agar hole obj men chidra hai, to hole is connected to obj.
(=>
(hole ?HOLE ?OBJ)
(connected ?HOLE ?OBJ))
Agar hole1 is an instance of antaraala aur hole2 is a properPart of hole1, to yah kuch obj nahin, ki hole1 meets obj aur hole2 doesn't meet obj.
(=>
(and
(instance ?HOLE1 Hole)
(properPart ?HOLE2 ?HOLE1))
(exists
(?OBJ)
(and
(meetsSpatially ?HOLE1 ?OBJ)
(not
(meetsSpatially ?HOLE2 ?OBJ)))))
Agar yah kuch time nahin, ki obj fills hole during time, to fillable is an attribute of hole.
(=>
(exists
(?TIME)
(holdsDuring
?TIME
(fills ?OBJ ?HOLE)))
(attribute ?HOLE Fillable))
Agar obj partially fills hole1, to yah kuch hole2 nahin, ki hole2 is a part of hole1 aur obj completely fills hole2.
(=>
(partiallyFills ?OBJ ?HOLE1)
(exists
(?HOLE2)
(and
(part ?HOLE2 ?HOLE1)
(completelyFills ?OBJ ?HOLE2))))
Agar obj properly fills hole1, to yah kuch hole2 nahin, ki hole2 is a part of hole1 aur obj fills hole2.
(=>
(properlyFills ?OBJ ?HOLE1)
(exists
(?HOLE2)
(and
(part ?HOLE2 ?HOLE1)
(fills ?OBJ ?HOLE2))))
Agar obj1 completely fills hole, to yah kuch obj2 nahin, ki obj2 is a part of obj1 aur obj2 fills hole.
(=>
(completelyFills ?OBJ1 ?HOLE)
(exists
(?OBJ2)
(and
(part ?OBJ2 ?OBJ1)
(fills ?OBJ2 ?HOLE))))
Agar obj1 fills hole aur fillable is an attribute of obj2, to obj1 doesn't overlap with obj2.
(=>
(and
(fills ?OBJ1 ?HOLE)
(attribute ?OBJ2 Fillable))
(not
(overlapsSpatially ?OBJ1 ?OBJ2)))
(=>
(completelyFills ?OBJ1 ?HOLE)
(forall
(?OBJ2)
(=>
(connected ?OBJ2 ?HOLE)
(connected ?OBJ2 ?OBJ1))))
Agar obj1 properly fills hole aur obj2 is connected to obj1, to hole is connected to obj2.
(=>
(and
(properlyFills ?OBJ1 ?HOLE)
(connected ?OBJ2 ?OBJ1))
(connected ?HOLE ?OBJ2))
Agar obj fills hole1 aur hole2 is a properPart of hole1, to obj completely fills hole2.
(=>
(and
(fills ?OBJ ?HOLE1)
(properPart ?HOLE2 ?HOLE1))
(completelyFills ?OBJ ?HOLE2))
Agar obj1 fills hole aur obj2 is a properPart of obj1, to obj2 properly fills hole.
(=>
(and
(fills ?OBJ1 ?HOLE)
(properPart ?OBJ2 ?OBJ1))
(properlyFills ?OBJ2 ?HOLE))
Agar obj1 is equal to "the surface of the hole hole", to sab-kuch obj2 ke lie hai, ki: obj2 overlaps with obj1 agar hai yah kuch obj3 nahin, ki obj3 is a superficial part of "the host of the hole hole" aur hole meets obj3 aur obj2 overlaps with obj3.
(=>
(equal
?OBJ1
(SkinFn ?HOLE))
(forall
(?OBJ2)
(<=>
(overlapsSpatially ?OBJ2 ?OBJ1)
(exists
(?OBJ3)
(and
(superficialPart
?OBJ3
(PrincipalHostFn ?HOLE))
(meetsSpatially ?HOLE ?OBJ3)
(overlapsSpatially ?OBJ2 ?OBJ3))))))
Agar subproc is a subprocess of proc, to "the time of existence of subproc" is equal to "the time of existence of proc" yaa "the time of existence of subproc" takes place during "the time of existence of proc".
(=>
(subProcess ?SUBPROC ?PROC)
(or
(equal
(WhenFn ?SUBPROC)
(WhenFn ?PROC))
(during
(WhenFn ?SUBPROC)
(WhenFn ?PROC))))
- agar subproc is a subprocess of proc,
- to sab-kuch region ke lie hai, ki: agar proc is located at region, to subproc is located at region
.
(=>
(subProcess ?SUBPROC ?PROC)
(forall
(?REGION)
(=>
(located ?PROC ?REGION)
(located ?SUBPROC ?REGION))))
Agar proc is an instance of prakriyaa aur subproc is a subprocess of proc, to yah kuch time nahin, ki subproc exists during time.
(=>
(and
(instance ?PROC Process)
(subProcess ?SUBPROC ?PROC))
(exists
(?TIME)
(time ?SUBPROC ?TIME)))
Agar proc is an instance of jEvika prakriyaa , to yah kuch jIvadhaarI padaartha obj nahin, ki proc is located at obj.
(=>
(instance ?PROC BiologicalProcess)
(exists
(?OBJ)
(and
(instance ?OBJ Organism)
(located ?PROC ?OBJ))))
Agar proc is an instance of jEvika prakriyaa aur org experiences proc, to org is an instance of jIvadhaarI padaartha.
(=>
(and
(instance ?PROC BiologicalProcess)
(experiencer ?PROC ?ORG))
(instance ?ORG Organism))
Agar birth is an instance of janma aur agent experiences birth, to yah kuch mrityu death nahin, ki agent experiences death.
(=>
(and
(instance ?BIRTH Birth)
(experiencer ?BIRTH ?AGENT))
(exists
(?DEATH)
(and
(instance ?DEATH Death)
(experiencer ?DEATH ?AGENT))))
Agar death is an instance of mrityu aur agent experiences death, to dead is an attribute of agent after "the time of existence of death".
(=>
(and
(instance ?DEATH Death)
(experiencer ?DEATH ?AGENT))
(holdsDuring
(FutureFn
(WhenFn ?DEATH))
(attribute ?AGENT Dead)))
Agar death is an instance of mrityu aur birth is an instance of janma aur agent experiences death aur agent experiences birth, to yah kuch time nahin, ki "the time of existence of birth" meets time aur time meets "the time of existence of death" aur living is an attribute of agent during time.
(=>
(and
(instance ?DEATH Death)
(instance ?BIRTH Birth)
(experiencer ?DEATH ?AGENT)
(experiencer ?BIRTH ?AGENT))
(exists
(?TIME)
(and
(meetsTemporally
(WhenFn ?BIRTH)
?TIME)
(meetsTemporally
?TIME
(WhenFn ?DEATH))
(holdsDuring
?TIME
(attribute ?AGENT Living)))))
Agar act is an instance of antargrahaNa aur food is a patient of act, to food is an instance of aahaara.
(=>
(and
(instance ?ACT Ingesting)
(patient ?ACT ?FOOD))
(instance ?FOOD Food))
Agar act is an instance of khaana aur food is a patient of act, to solid is an attribute of food.
(=>
(and
(instance ?ACT Eating)
(patient ?ACT ?FOOD))
(attribute ?FOOD Solid))
Agar digest is an instance of digesting aur digest organism kaa kaaran hai, to yah kuch antargrahaNa ingest nahin, ki ingest organism kaa kaaran hai aur "the time of existence of digest" overlaps "the time of existence of ingest".
(=>
(and
(instance ?DIGEST Digesting)
(agent ?DIGEST ?ORGANISM))
(exists
(?INGEST)
(and
(instance ?INGEST Ingesting)
(agent ?INGEST ?ORGANISM)
(overlapsTemporally
(WhenFn ?INGEST)
(WhenFn ?DIGEST)))))
Agar digest is an instance of digesting, to yah kuch raasaayanika vivechana decomp nahin, ki decomp is a subprocess of digest.
(=>
(instance ?DIGEST Digesting)
(exists
(?DECOMP)
(and
(instance ?DECOMP ChemicalDecomposition)
(subProcess ?DECOMP ?DIGEST))))
Agar rep is an instance of punaraavritti aur rep parent kaa kaaran hai aur child is a result of rep, to parent is a parent of child.
(=>
(and
(instance ?REP Replication)
(agent ?REP ?PARENT)
(result ?REP ?CHILD))
(parent ?CHILD ?PARENT))
Agar rep is an instance of punaraavritti, to yah kuch janana sharIra body nahin, ki body is a result of rep.
(=>
(instance ?REP Replication)
(exists
(?BODY)
(and
(instance ?BODY ReproductiveBody)
(result ?REP ?BODY))))
Agar rep is an instance of lEngika prajanana aur organism is a result of rep, to yah kuch mother,father nahin, ki mother is a mother of organism aur father is a father of organism.
(=>
(and
(instance ?REP SexualReproduction)
(result ?REP ?ORGANISM))
(not
(exists
(?MOTHER ?FATHER)
(and
(mother ?ORGANISM ?MOTHER)
(father ?ORGANISM ?FATHER)))))
Agar rep is an instance of alEngika prajanana aur organism is a result of rep, to yah kuch parent1,parent2 nahin, ki parent1 is a parent of organism aur parent2 is a parent of organism aur parent1 is not equal to parent2.
(=>
(and
(instance ?REP AsexualReproduction)
(result ?REP ?ORGANISM))
(not
(exists
(?PARENT1 ?PARENT2)
(and
(parent ?ORGANISM ?PARENT1)
(parent ?ORGANISM ?PARENT2)
(not
(equal ?PARENT1 ?PARENT2))))))
Agar process is an instance of manovEgyaanika prakriyaa, to yah kuch pashu animal nahin, ki animal experiences process.
(=>
(instance ?PROCESS PsychologicalProcess)
(exists
(?ANIMAL)
(and
(instance ?ANIMAL Animal)
(experiencer ?PROCESS ?ANIMAL))))
Agar proc is an instance of anaga yaa Utaka prakriyaa, to yah kuch thing nahin, ki proc is located at thing aur thing is an instance of anga yaa thing is an instance of Utaka.
(=>
(instance ?PROC OrganOrTissueProcess)
(exists
(?THING)
(and
(located ?PROC ?THING)
(or
(instance ?THING Organ)
(instance ?THING Tissue)))))
Agar path is an instance of roga vigyaaniya prakriyaa aur org experiences path, to yah kuch part,roga yaa lakshaNa disease nahin, ki part is a part of org aur disease is an attribute of part.
(=>
(and
(instance ?PATH PathologicProcess)
(experiencer ?PATH ?ORG))
(exists
(?PART ?DISEASE)
(and
(part ?PART ?ORG)
(instance ?DISEASE DiseaseOrSyndrome)
(attribute ?PART ?DISEASE))))
Agar inj is an instance of chota, to yah kuch shaarIrika sanrachanaa struct nahin, ki struct is a patient of inj.
(=>
(instance ?INJ Injuring)
(exists
(?STRUCT)
(and
(instance ?STRUCT AnatomicalStructure)
(patient ?INJ ?STRUCT))))
Agar poison is an instance of vishaaktataa, to yah kuch thing nahin, ki thing is a patient of poison aur thing is an instance of jIvadhaarI padaartha yaa thing is an instance of shaarIrika sanrachanaa.
(=>
(instance ?POISON Poisoning)
(exists
(?THING)
(and
(patient ?POISON ?THING)
(or
(instance ?THING Organism)
(instance ?THING AnatomicalStructure)))))
Agar poison is an instance of vishaaktataa, to yah kuch jEvika rUpa se kriyaashIla padaartha substance nahin, ki substance is an instrument for poison.
(=>
(instance ?POISON Poisoning)
(exists
(?SUBSTANCE)
(and
(instance ?SUBSTANCE BiologicallyActiveSubstance)
(instrument ?POISON ?SUBSTANCE))))
Agar proc is an instance of sabhipraaya prakriyaa aur proc agent kaa kaaran hai, to yah kuch purp nahin, ki proc has &n purpose purp for agent.
(=>
(and
(instance ?PROC IntentionalProcess)
(agent ?PROC ?AGENT))
(exists
(?PURP)
(hasPurposeForAgent ?PROC ?PURP ?AGENT)))
Agar proc is an instance of sabhipraaya prakriyaa, to yah kuch sangyaanaatmaka kartaa agent nahin, ki proc agent kaa kaaran hai.
(=>
(instance ?PROC IntentionalProcess)
(exists
(?AGENT)
(and
(instance ?AGENT CognitiveAgent)
(agent ?PROC ?AGENT))))
Agar act is an instance of sangathan sanbandhii prakriyaa aur act agent kaa kaaran hai, to
(=>
(and
(instance ?ACT OrganizationalProcess)
(agent ?ACT ?AGENT))
(or
(instance ?AGENT Organization)
(exists
(?ORG)
(and
(instance ?ORG Organization)
(member ?AGENT ?ORG)))))
Agar act is an instance of dhaarmika prakriyaa aur act agent kaa kaaran hai, to
(=>
(and
(instance ?ACT ReligiousProcess)
(agent ?ACT ?AGENT))
(or
(instance ?AGENT ReligiousOrganization)
(exists
(?ORG)
(and
(member ?AGENT ?ORG)
(instance ?ORG ReligiousOrganization)))))
Agar join is an instance of sansthaa kaarya grahana aur org is an instance of sansthaa aur join org kaa kaaran hai aur person is a patient of join, to person is a member of org immediately after "the time of existence of join".
(=>
(and
(instance ?JOIN JoiningAnOrganization)
(instance ?ORG Organization)
(agent ?JOIN ?ORG)
(patient ?JOIN ?PERSON))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?JOIN))
(member ?PERSON ?ORG)))
Agar leave is an instance of sansthaa tyaaga aur org is an instance of sansthaa aur leave org kaa kaaran hai aur person is a patient of leave, to person is not a member of org immediately after "the time of existence of leave".
(=>
(and
(instance ?LEAVE LeavingAnOrganization)
(instance ?ORG Organization)
(agent ?LEAVE ?ORG)
(patient ?LEAVE ?PERSON))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?LEAVE))
(not
(member ?PERSON ?ORG))))
Agar grad is an instance of snaatakataa aur grad org kaa kaaran hai aur person is a patient of grad, to org is an instance of shEkshaNika sansthaa.
(=>
(and
(instance ?GRAD Graduation)
(agent ?GRAD ?ORG)
(patient ?GRAD ?PERSON))
(instance ?ORG EducationalOrganization))
Agar mat is an instance of praveshikaa-pariikshaa aur mat org kaa kaaran hai aur person is a patient of mat, to org is an instance of shEkshaNika sansthaa.
(=>
(and
(instance ?MAT Matriculation)
(agent ?MAT ?ORG)
(patient ?MAT ?PERSON))
(instance ?ORG EducationalOrganization))
Agar hire is an instance of niyukti aur org is an instance of sansthaa aur hire org kaa kaaran hai aur person is a patient of hire, to org employs person immediately after "the time of existence of hire".
(=>
(and
(instance ?HIRE Hiring)
(instance ?ORG Organization)
(agent ?HIRE ?ORG)
(patient ?HIRE ?PERSON))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?HIRE))
(employs ?ORG ?PERSON)))
Agar fire is an instance of rojagaara samaapti aur org is an instance of sansthaa aur fire org kaa kaaran hai aur person is a patient of fire, to org doesn't employ person immediately after "the time of existence of fire".
(=>
(and
(instance ?FIRE TerminatingEmployment)
(instance ?ORG Organization)
(agent ?FIRE ?ORG)
(patient ?FIRE ?PERSON))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?FIRE))
(not
(employs ?ORG ?PERSON))))
Agar proc is an instance of raajanaitika prakriyaa, to yah kuch sarakaara gov nahin, ki proc gov kaa kaaran hai yaa gov is a patient of proc.
(=>
(instance ?PROC PoliticalProcess)
(exists
(?GOV)
(and
(instance ?GOV Government)
(or
(agent ?PROC ?GOV)
(patient ?PROC ?GOV)))))
Agar increase is an instance of badhottarii aur obj is a patient of increase, to yah kuch unit,quant1,quant2 nahin, ki "obj unit(s)" is equal to quant1 immediately before "the time of existence of increase" aur "obj unit(s)" is equal to quant2 immediately after "the time of existence of increase" aur quant2 is greater than quant1.
(=>
(and
(instance ?INCREASE Increasing)
(patient ?INCREASE ?OBJ))
(exists
(?UNIT ?QUANT1 ?QUANT2)
(and
(holdsDuring
(ImmediatePastFn
(WhenFn ?INCREASE))
(equal
(MeasureFn ?OBJ ?UNIT)
?QUANT1))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?INCREASE))
(equal
(MeasureFn ?OBJ ?UNIT)
?QUANT2))
(greaterThan ?QUANT2 ?QUANT1))))
Agar heat is an instance of taapana aur obj is a patient of heat, to yah kuch taapa maapa unit,quant1,quant2 nahin, ki "obj unit(s)" is equal to quant1 immediately before "the time of existence of heat" aur "obj unit(s)" is equal to quant2 immediately after "the time of existence of heat" aur quant2 is greater than quant1.
(=>
(and
(instance ?HEAT Heating)
(patient ?HEAT ?OBJ))
(exists
(?UNIT ?QUANT1 ?QUANT2)
(and
(instance ?UNIT TemperatureMeasure)
(holdsDuring
(ImmediatePastFn
(WhenFn ?HEAT))
(equal
(MeasureFn ?OBJ ?UNIT)
?QUANT1))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?HEAT))
(equal
(MeasureFn ?OBJ ?UNIT)
?QUANT2))
(greaterThan ?QUANT2 ?QUANT1))))
Agar decrease is an instance of hraasa aur obj is a patient of decrease, to yah kuch unit,quant1,quant2 nahin, ki "obj unit(s)" is equal to quant1 immediately before "the time of existence of decrease" aur "obj unit(s)" is equal to quant2 immediately after "the time of existence of decrease" aur quant2 is less than quant1.
(=>
(and
(instance ?DECREASE Decreasing)
(patient ?DECREASE ?OBJ))
(exists
(?UNIT ?QUANT1 ?QUANT2)
(and
(holdsDuring
(ImmediatePastFn
(WhenFn ?DECREASE))
(equal
(MeasureFn ?OBJ ?UNIT)
?QUANT1))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?DECREASE))
(equal
(MeasureFn ?OBJ ?UNIT)
?QUANT2))
(lessThan ?QUANT2 ?QUANT1))))
Agar cool is an instance of shiitalataa aur obj is a patient of cool, to yah kuch taapa maapa unit,quant1,quant2 nahin, ki "obj unit(s)" is equal to quant1 immediately before "the time of existence of cool" aur "obj unit(s)" is equal to quant2 immediately after "the time of existence of cool" aur quant2 is less than quant1.
(=>
(and
(instance ?COOL Cooling)
(patient ?COOL ?OBJ))
(exists
(?UNIT ?QUANT1 ?QUANT2)
(and
(instance ?UNIT TemperatureMeasure)
(holdsDuring
(ImmediatePastFn
(WhenFn ?COOL))
(equal
(MeasureFn ?OBJ ?UNIT)
?QUANT1))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?COOL))
(equal
(MeasureFn ?OBJ ?UNIT)
?QUANT2))
(lessThan ?QUANT2 ?QUANT1))))
Agar motion is an instance of gati aur obj is a patient of motion aur motion origins at place, to obj is located at place immediately before "the time of existence of motion".
(=>
(and
(instance ?MOTION Motion)
(patient ?MOTION ?OBJ)
(origin ?MOTION ?PLACE))
(holdsDuring
(ImmediatePastFn
(WhenFn ?MOTION))
(located ?OBJ ?PLACE)))
Agar motion is an instance of gati aur obj is a patient of motion aur motion ends at place, to obj is located at place immediately after "the time of existence of motion".
(=>
(and
(instance ?MOTION Motion)
(patient ?MOTION ?OBJ)
(destination ?MOTION ?PLACE))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?MOTION))
(located ?OBJ ?PLACE)))
- agar
- path1 is path along with process occurs
aur - process origins at source
aur - process ends at dest
aur - the length of path1 is measure1
aur - yah kuch path2,measure2 nahin, ki path2 is path along with process occurs aur process origins at origin aur process ends at dest aur the length of path2 is measure2 aur measure2 is less than measure1
, - to sab-kuch obj ke lie hai, ki: agar obj is a part of path1, to source aur dest ke biich main obj hai
.
(=>
(and
(path ?PROCESS ?PATH1)
(origin ?PROCESS ?SOURCE)
(destination ?PROCESS ?DEST)
(length ?PATH1 ?MEASURE1)
(not
(exists
(?PATH2 ?MEASURE2)
(and
(path ?PROCESS ?PATH2)
(origin ?PROCESS ?ORIGIN)
(destination ?PROCESS ?DEST)
(length ?PATH2 ?MEASURE2)
(lessThan ?MEASURE2 ?MEASURE1)))))
(forall
(?OBJ)
(=>
(part ?OBJ ?PATH1)
(between ?SOURCE ?OBJ ?DEST))))
Agar motion is an instance of shaariirika gati, to yah kuch shaarIrika bhaaga obj,jIvadhaarI padaartha agent nahin, ki obj is a patient of motion aur motion agent kaa kaaran hai.
(=>
(instance ?MOTION BodyMotion)
(exists
(?OBJ ?AGENT)
(and
(instance ?OBJ BodyPart)
(patient ?MOTION ?OBJ)
(instance ?AGENT Organism)
(agent ?MOTION ?AGENT))))
Agar walk is an instance of tahalanaa aur walk agent kaa kaaran hai, to yah kuch thala kshetra area nahin, ki agent is located at area.
(=>
(and
(instance ?WALK Walking)
(agent ?WALK ?AGENT))
(exists
(?AREA)
(and
(instance ?AREA LandArea)
(located ?AGENT ?AREA))))
Agar swim is an instance of tairanaa aur swim agent kaa kaaran hai, to yah kuch jala kshetra area nahin, ki agent is located at area.
(=>
(and
(instance ?SWIM Swimming)
(agent ?SWIM ?AGENT))
(exists
(?AREA)
(and
(instance ?AREA WaterArea)
(located ?AGENT ?AREA))))
Agar proc is an instance of dishaa parivartana, to yah kuch dishaatmaka visheshataa attr nahin, ki - proc is performed in the manner attr immediately before "the time of existence of proc" aur proc is performed in the manner attr immediately after "the time of existence of proc"
yaa - proc is performed in the manner attr immediately after "the time of existence of proc" aur proc is performed in the manner attr immediately before "the time of existence of proc"
.
(=>
(instance ?PROC DirectionChange)
(exists
(?ATTR)
(and
(instance ?ATTR DirectionalAttribute)
(or
(and
(holdsDuring
(ImmediatePastFn
(WhenFn ?PROC))
(manner ?PROC ?ATTR))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?PROC))
(not
(manner ?PROC ?ATTR))))
(and
(holdsDuring
(ImmediateFutureFn
(WhenFn ?PROC))
(manner ?PROC ?ATTR))
(holdsDuring
(ImmediatePastFn
(WhenFn ?PROC))
(not
(manner ?PROC ?ATTR))))))))
Agar transfer is an instance of sthaanaantarana aur transfer agent kaa kaaran hai aur patient is a patient of transfer, to agent is not equal to patient.
(=>
(and
(instance ?TRANSFER Transfer)
(agent ?TRANSFER ?AGENT)
(patient ?TRANSFER ?PATIENT))
(not
(equal ?AGENT ?PATIENT)))
Agar remove is an instance of nikaalanaa aur remove origins at place aur obj is a patient of remove, to obj is located at place immediately before "the time of existence of remove" aur obj is not located at place immediately after "the time of existence of remove".
(=>
(and
(instance ?REMOVE Removing)
(origin ?REMOVE ?PLACE)
(patient ?REMOVE ?OBJ))
(and
(holdsDuring
(ImmediatePastFn
(WhenFn ?REMOVE))
(located ?OBJ ?PLACE))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?REMOVE))
(not
(located ?OBJ ?PLACE)))))
Agar put is an instance of aur put ends at place aur obj is a patient of put, to obj is not located at place immediately before "the time of existence of put" aur obj is located at place immediately after "the time of existence of put".
(=>
(and
(instance ?PUT Putting)
(destination ?PUT ?PLACE)
(patient ?PUT ?OBJ))
(and
(holdsDuring
(ImmediatePastFn
(WhenFn ?PUT))
(not
(located ?OBJ ?PLACE)))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?PUT))
(located ?OBJ ?PLACE))))
Agar sub is an instance of swhaanaapanna, to yah kuch put,nikaalanaa remove,obj1,obj2,place nahin, ki put is a subprocess of sub aur remove is a subprocess of sub aur obj1 is a patient of remove aur remove origins at place aur obj2 is a patient of put aur put ends at place aur obj1 is not equal to obj2.
(=>
(instance ?SUB Substituting)
(exists
(?PUT ?REMOVE ?OBJ1 ?OBJ2 ?PLACE)
(and
(instance ?PUT Putting)
(instance ?REMOVE Removing)
(subProcess ?PUT ?SUB)
(subProcess ?REMOVE ?SUB)
(patient ?REMOVE ?OBJ1)
(origin ?REMOVE ?PLACE)
(patient ?PUT ?OBJ2)
(destination ?PUT ?PLACE)
(not
(equal ?OBJ1 ?OBJ2)))))
Agar touch is an instance of shparshana aur touch obj1 kaa kaaran hai aur obj2 is a patient of touch, to obj1 is connected to obj2 immediately after "the time of existence of touch".
(=>
(and
(instance ?TOUCH Touching)
(agent ?TOUCH ?OBJ1)
(patient ?TOUCH ?OBJ2))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?TOUCH))
(connected ?OBJ1 ?OBJ2)))
Agar impact is an instance of takaraahata aur obj is a patient of impact, to yah kuch prerakataa impel nahin, ki obj is a patient of impel aur "the time of existence of impel" happens earlier than "the time of existence of impact".
(=>
(and
(instance ?IMPACT Impacting)
(patient ?IMPACT ?OBJ))
(exists
(?IMPEL)
(and
(instance ?IMPEL Impelling)
(patient ?IMPEL ?OBJ)
(earlier
(WhenFn ?IMPEL)
(WhenFn ?IMPACT)))))
Agar trans is an instance of parivahana, to yah kuch parivahana saadhana device nahin, ki device is an instrument for trans.
(=>
(instance ?TRANS Transportation)
(exists
(?DEVICE)
(and
(instance ?DEVICE TransportationDevice)
(instrument ?TRANS ?DEVICE))))
Agar steer is an instance of parichaalana, to yah kuch parivahana saadhana vehicle nahin, ki vehicle is a patient of steer.
(=>
(instance ?STEER Steering)
(exists
(?VEHICLE)
(and
(instance ?VEHICLE TransportationDevice)
(patient ?STEER ?VEHICLE))))
Agar education is an instance of shaikshika prakriyaa aur person is a patient of education, to education has purpose "yah kuch adhyayana learn nahin, ki person is a patient of learn".
(=>
(and
(instance ?EDUCATION EducationalProcess)
(patient ?EDUCATION ?PERSON))
(hasPurpose
?EDUCATION
(exists
(?LEARN)
(and
(instance ?LEARN Learning)
(patient ?LEARN ?PERSON)))))
Agar change is an instance of adhikaara parivartana aur obj is a patient of change aur agent1 posesses obj immediately before "the time of existence of change" aur agent2 posesses obj immediately after "the time of existence of change", to agent1 is not equal to agent2.
(=>
(and
(instance ?CHANGE ChangeOfPossession)
(patient ?CHANGE ?OBJ)
(holdsDuring
(ImmediatePastFn
(WhenFn ?CHANGE))
(possesses ?AGENT1 ?OBJ))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?CHANGE))
(possesses ?AGENT2 ?OBJ)))
(not
(equal ?AGENT1 ?AGENT2)))
Agar change is an instance of adhikaara parivartana aur change origins at agent1 aur change ends at agent2 aur agent2 is an instance of kartaa aur obj is a patient of change, to agent1 posesses obj immediately before "the time of existence of change" aur agent2 posesses obj immediately after "the time of existence of change".
(=>
(and
(instance ?CHANGE ChangeOfPossession)
(origin ?CHANGE ?AGENT1)
(destination ?CHANGE ?AGENT2)
(instance ?AGENT2 Agent)
(patient ?CHANGE ?OBJ))
(and
(holdsDuring
(ImmediatePastFn
(WhenFn ?CHANGE))
(possesses ?AGENT1 ?OBJ))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?CHANGE))
(possesses ?AGENT2 ?OBJ))))
Agar give is an instance of arpana aur give agent1 kaa kaaran hai aur give ends at agent2 aur agent2 is an instance of kartaa aur obj is a patient of give, to yah kuch praapwi get nahin, ki get agent2 kaa kaaran hai aur get origins at agent1 aur obj is a patient of get.
(=>
(and
(instance ?GIVE Giving)
(agent ?GIVE ?AGENT1)
(destination ?GIVE ?AGENT2)
(instance ?AGENT2 Agent)
(patient ?GIVE ?OBJ))
(exists
(?GET)
(and
(instance ?GET Getting)
(agent ?GET ?AGENT2)
(origin ?GET ?AGENT1)
(patient ?GET ?OBJ))))
Agar give is an instance of arpana aur give agent kaa kaaran hai, to give origins at agent.
(=>
(and
(instance ?GIVE Giving)
(agent ?GIVE ?AGENT))
(origin ?GIVE ?AGENT))
Agar give is an instance of ekashaakhiiya arpana, to yah kuch lena-dena trans nahin, ki give is a subprocess of trans.
(=>
(instance ?GIVE UnilateralGiving)
(not
(exists
(?TRANS)
(and
(instance ?TRANS Transaction)
(subProcess ?GIVE ?TRANS)))))
Agar get is an instance of praapwi aur get agent kaa kaaran hai, to get ends at agent.
(=>
(and
(instance ?GET Getting)
(agent ?GET ?AGENT))
(destination ?GET ?AGENT))
Agar get is an instance of ekashaakhiiya praapwi, to yah kuch lena-dena trans nahin, ki get is a subprocess of trans.
(=>
(instance ?GET UnilateralGetting)
(not
(exists
(?TRANS)
(and
(instance ?TRANS Transaction)
(subProcess ?GET ?TRANS)))))
Agar trans is an instance of lena-dena, to yah kuch agent1,agent2,arpana give1,arpana give2,obj1,obj2 nahin, ki give1 is a subprocess of trans aur give2 is a subprocess of trans aur give1 agent1 kaa kaaran hai aur give2 agent2 kaa kaaran hai aur obj1 is a patient of give1 aur obj2 is a patient of give2 aur give1 ends at agent2 aur give2 ends at agent1 aur agent1 is not equal to agent2 aur obj1 is not equal to obj2.
(=>
(instance ?TRANS Transaction)
(exists
(?AGENT1 ?AGENT2 ?GIVE1 ?GIVE2 ?OBJ1 ?OBJ2)
(and
(instance ?GIVE1 Giving)
(instance ?GIVE2 Giving)
(subProcess ?GIVE1 ?TRANS)
(subProcess ?GIVE2 ?TRANS)
(agent ?GIVE1 ?AGENT1)
(agent ?GIVE2 ?AGENT2)
(patient ?GIVE1 ?OBJ1)
(patient ?GIVE2 ?OBJ2)
(destination ?GIVE1 ?AGENT2)
(destination ?GIVE2 ?AGENT1)
(not
(equal ?AGENT1 ?AGENT2))
(not
(equal ?OBJ1 ?OBJ2)))))
Agar trans is an instance of aarwhika lena-dena, to yah kuch mudraa maapa obj nahin, ki obj is a patient of trans.
(=>
(instance ?TRANS FinancialTransaction)
(exists
(?OBJ)
(and
(patient ?TRANS ?OBJ)
(instance ?OBJ CurrencyMeasure))))
Agar buy is an instance of kraya aur buy agent kaa kaaran hai, to buy ends at agent.
(=>
(and
(instance ?BUY Buying)
(agent ?BUY ?AGENT))
(destination ?BUY ?AGENT))
Agar sell is an instance of vikraya aur sell agent kaa kaaran hai, to sell origins at agent.
(=>
(and
(instance ?SELL Selling)
(agent ?SELL ?AGENT))
(origin ?SELL ?AGENT))
Agar learn is an instance of adhyayana aur learn agent kaa kaaran hai, to agent is an instance of sangyaanaatmaka kartaa.
(=>
(and
(instance ?LEARN Learning)
(agent ?LEARN ?AGENT))
(instance ?AGENT CognitiveAgent))
Agar yah kuch adhyayana learn nahin, ki learn agent kaa kaaran hai aur prop is a patient of learn during time, to agent prop par vishvaas kartaa hai immediately after time.
(=>
(holdsDuring
?TIME
(exists
(?LEARN)
(and
(instance ?LEARN Learning)
(agent ?LEARN ?AGENT)
(patient ?LEARN ?PROP))))
(holdsDuring
(ImmediateFutureFn ?TIME)
(believes ?AGENT ?PROP)))
Agar agent is an instance of sangyaanaatmaka kartaa, to agent is capable to do vivechanaa in role agent.
(=>
(instance ?AGENT CognitiveAgent)
(capability Reasoning agent ?AGENT))
Agar meas is an instance of maapana aur meas agent kaa kaaran hai aur obj is a patient of meas, to yah kuch quant,unit nahin, ki agent knows "the measure of obj is "quant unit(s)"" immediately after "the time of existence of meas".
(=>
(and
(instance ?MEAS Measuring)
(agent ?MEAS ?AGENT)
(patient ?MEAS ?OBJ))
(exists
(?QUANT ?UNIT)
(holdsDuring
(ImmediateFutureFn
(WhenFn ?MEAS))
(knows
?AGENT
(measure
?OBJ
(MeasureFn ?QUANT ?UNIT))))))
Agar count is an instance of ganana aur count agent kaa kaaran hai aur entity is a patient of count, to yah kuch number nahin, ki agent knows ""the number of instances in entity" is equal to number".
(=>
(and
(instance ?COUNT Counting)
(agent ?COUNT ?AGENT)
(patient ?COUNT ?ENTITY))
(exists
(?NUMBER)
(knows
?AGENT
(equal
(CardinalityFn ?ENTITY)
?NUMBER))))
Agar predict is an instance of purva kathana aur formula is a patient of predict, to yah kuch time nahin, ki formula holds during time aur time happen?{s} before "the time of existence of predict" yaa time happens earlier than "the time of existence of predict".
(=>
(and
(instance ?PREDICT Predicting)
(patient ?PREDICT ?FORMULA))
(exists
(?TIME)
(and
(holdsDuring ?TIME ?FORMULA)
(or
(before
?TIME
(WhenFn ?PREDICT))
(earlier
?TIME
(WhenFn ?PREDICT))))))
Agar remember is an instance of smaranana aur formula is a patient of remember, to yah kuch time nahin, ki formula holds during time aur time happen?{s} before "the time of existence of remember" yaa time happens earlier than "the time of existence of remember".
(=>
(and
(instance ?REMEMBER Remembering)
(patient ?REMEMBER ?FORMULA))
(exists
(?TIME)
(and
(holdsDuring ?TIME ?FORMULA)
(or
(before
?TIME
(WhenFn ?REMEMBER))
(earlier
?TIME
(WhenFn ?REMEMBER))))))
Agar keep is an instance of anurakshana aur keep agent kaa kaaran hai aur obj is a patient of keep, to yah kuch put nahin, ki put agent kaa kaaran hai aur obj is a patient of put aur "the time of existence of put" happens earlier than "the time of existence of keep".
(=>
(and
(instance ?KEEP Keeping)
(agent ?KEEP ?AGENT)
(patient ?KEEP ?OBJ))
(exists
(?PUT)
(and
(instance ?PUT Putting)
(agent ?PUT ?AGENT)
(patient ?PUT ?OBJ)
(earlier
(WhenFn ?PUT)
(WhenFn ?KEEP)))))
(=>
(and
(instance ?KEEP Keeping)
(patient ?KEEP ?OBJ))
(exists
(?PLACE)
(forall
(?TIME)
(=>
(temporalPart
?TIME
(WhenFn ?KEEP))
(holdsDuring
?TIME
(located ?OBJ ?PLACE))))))
Agar confine is an instance of parisiimana, to yah kuch maanava human nahin, ki human is a patient of confine.
(=>
(instance ?CONFINE Confining)
(exists
(?HUMAN)
(and
(instance ?HUMAN Human)
(patient ?CONFINE ?HUMAN))))
Agar confine is an instance of parisiimana aur person is a patient of confine, to person doesn't desire "person is a patient of confine".
(=>
(and
(instance ?CONFINE Confining)
(patient ?CONFINE ?PERSON))
(not
(desires
?PERSON
(patient ?CONFINE ?PERSON))))
Agar repair is an instance of marammata aur obj is a patient of repair, to yah kuch kshati damage nahin, ki obj is a patient of damage aur "the time of existence of damage" happens earlier than "the time of existence of repair".
(=>
(and
(instance ?REPAIR Repairing)
(patient ?REPAIR ?OBJ))
(exists
(?DAMAGE)
(and
(instance ?DAMAGE Damaging)
(patient ?DAMAGE ?OBJ)
(earlier
(WhenFn ?DAMAGE)
(WhenFn ?REPAIR)))))
Agar proc is an instance of aarogyakara prakriyaa aur bio is a patient of proc, to
(=>
(and
(instance ?PROC TherapeuticProcess)
(patient ?PROC ?BIO))
(or
(instance ?BIO Organism)
(exists
(?ORG)
(and
(instance ?ORG Organism)
(part ?BIO ?ORG)))))
Agar act is an instance of shalya chikitsaa aur animal is a patient of act, to yah kuch kataaii subact nahin, ki animal is an instance of pashu aur cutting is a patient of animal aur subact is a subprocess of act.
(=>
(and
(instance ?ACT Surgery)
(patient ?ACT ?ANIMAL))
(exists
(?SUBACT)
(and
(instance ?SUBACT Cutting)
(instance ?ANIMAL Animal)
(patient ?ANIMAL ?CUTTING)
(subProcess ?SUBACT ?ACT))))
Agar kill is an instance of hatyaa aur kill agent kaa kaaran hai aur patient is a patient of kill, to agent is an instance of jIvadhaarI padaartha aur patient is an instance of jIvadhaarI padaartha.
(=>
(and
(instance ?KILL Killing)
(agent ?KILL ?AGENT)
(patient ?KILL ?PATIENT))
(and
(instance ?AGENT Organism)
(instance ?PATIENT Organism)))
Agar kill is an instance of hatyaa aur patient is a patient of kill, to living is an attribute of patient immediately before "the time of existence of kill" aur dead is an attribute of patient after "the time of existence of kill".
(=>
(and
(instance ?KILL Killing)
(patient ?KILL ?PATIENT))
(and
(holdsDuring
(ImmediatePastFn
(WhenFn ?KILL))
(attribute ?PATIENT Living))
(holdsDuring
(FutureFn
(WhenFn ?KILL))
(attribute ?PATIENT Dead))))
Agar poke is an instance of dhakkaa aur poke agent kaa kaaran hai aur obj is a patient of poke aur inst is an instrument for poke, to inst connects agent and obj the time of existence of poke.
(=>
(and
(instance ?POKE Poking)
(agent ?POKE ?AGENT)
(patient ?POKE ?OBJ)
(instrument ?POKE ?INST))
(holdsDuring
(WhenFn ?POKE)
(connects ?INST ?AGENT ?OBJ)))
Agar attach is an instance of sanlagnana aur obj1 is a patient of attach aur obj2 is a patient of attach, to obj1 is not connected to obj2 immediately before "the time of existence of attach" aur obj1 is connected to obj2 immediately after "the time of existence of attach".
(=>
(and
(instance ?ATTACH Attaching)
(patient ?ATTACH ?OBJ1)
(patient ?ATTACH ?OBJ2))
(and
(holdsDuring
(ImmediatePastFn
(WhenFn ?ATTACH))
(not
(connected ?OBJ1 ?OBJ2)))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?ATTACH))
(connected ?OBJ1 ?OBJ2))))
Agar detach is an instance of vilagana aur obj1 is a patient of detach aur obj2 is a patient of detach, to obj1 is connected to obj2 immediately before "the time of existence of detach" aur obj1 is not connected to obj2 immediately after "the time of existence of detach".
(=>
(and
(instance ?DETACH Detaching)
(patient ?DETACH ?OBJ1)
(patient ?DETACH ?OBJ2))
(and
(holdsDuring
(ImmediatePastFn
(WhenFn ?DETACH))
(connected ?OBJ1 ?OBJ2))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?DETACH))
(not
(connected ?OBJ1 ?OBJ2)))))
Agar , to stuff is an instance of shuddha padaartha.
(=>
(and
(instance ?PROC ChemicalProcess)
(or
(resource ?PROC ?STUFF)
(result ?PROC ?STUFF)))
(instance ?STUFF PureSubstance))
Agar substance1 is a resource for proc aur substance2 is a result of proc aur substance1 is an instance of avayavI padaartha aur substance2 is an instance of yOgika padaartha, to proc is an instance of raasaayanika sanyojana.
(=>
(and
(resource ?PROC ?SUBSTANCE1)
(result ?PROC ?SUBSTANCE2)
(instance ?SUBSTANCE1 ElementalSubstance)
(instance ?SUBSTANCE2 CompoundSubstance))
(instance ?PROC ChemicalSynthesis))
Agar substance1 is a resource for proc aur substance2 is a result of proc aur substance1 is an instance of yOgika padaartha aur substance2 is an instance of avayavI padaartha, to proc is an instance of raasaayanika vivechana.
(=>
(and
(resource ?PROC ?SUBSTANCE1)
(result ?PROC ?SUBSTANCE2)
(instance ?SUBSTANCE1 CompoundSubstance)
(instance ?SUBSTANCE2 ElementalSubstance))
(instance ?PROC ChemicalDecomposition))
Agar combustion is an instance of dahana, to yah kuch taapana heat,vikiranakaarii prakaasha light nahin, ki heat is a subprocess of combustion aur light is a subprocess of combustion.
(=>
(instance ?COMBUSTION Combustion)
(exists
(?HEAT ?LIGHT)
(and
(instance ?HEAT Heating)
(instance ?LIGHT RadiatingLight)
(subProcess ?HEAT ?COMBUSTION)
(subProcess ?LIGHT ?COMBUSTION))))
Agar change is an instance of aantarika parivartana aur obj is a patient of change, to yah kuch property nahin, ki
(=>
(and
(instance ?CHANGE InternalChange)
(patient ?CHANGE ?OBJ))
(exists
(?PROPERTY)
(or
(and
(holdsDuring
(ImmediatePastFn
(WhenFn ?CHANGE))
(attribute ?OBJ ?PROPERTY))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?CHANGE))
(not
(attribute ?OBJ ?PROPERTY))))
(and
(holdsDuring
(ImmediatePastFn
(WhenFn ?CHANGE))
(not
(attribute ?OBJ ?PROPERTY)))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?CHANGE))
(attribute ?OBJ ?PROPERTY))))))
Agar alt is an instance of sataha parivartana aur obj is a patient of alt, to yah kuch part,property nahin, ki part is a superficial part of obj aur property is an attribute of part immediately before "the time of existence of alt" aur property is not an attribute of part immediately after "the time of existence of alt".
(=>
(and
(instance ?ALT SurfaceChange)
(patient ?ALT ?OBJ))
(exists
(?PART ?PROPERTY)
(and
(superficialPart ?PART ?OBJ)
(holdsDuring
(ImmediatePastFn
(WhenFn ?ALT))
(attribute ?PART ?PROPERTY))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?ALT))
(not
(attribute ?PART ?PROPERTY))))))
Agar alt is an instance of aakaara parivartana aur obj is a patient of alt, to yah kuch aakaara visheshataa property nahin, ki
(=>
(and
(instance ?ALT ShapeChange)
(patient ?ALT ?OBJ))
(exists
(?PROPERTY)
(and
(instance ?PROPERTY ShapeAttribute)
(or
(and
(holdsDuring
(ImmediatePastFn
(WhenFn ?ALT))
(attribute ?OBJ ?PROPERTY))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?ALT))
(not
(attribute ?OBJ ?PROPERTY))))
(and
(holdsDuring
(ImmediatePastFn
(WhenFn ?ALT))
(not
(attribute ?OBJ ?PROPERTY)))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?ALT))
(attribute ?OBJ ?PROPERTY)))))))
Agar coloring is an instance of ranjana aur obj is a patient of coloring, to yah kuch varNa visheshataa property nahin, ki property is an attribute of obj immediately before "the time of existence of coloring" aur property is not an attribute of obj immediately after "the time of existence of coloring".
(=>
(and
(instance ?COLORING Coloring)
(patient ?COLORING ?OBJ))
(exists
(?PROPERTY)
(and
(instance ?PROPERTY ColorAttribute)
(holdsDuring
(ImmediatePastFn
(WhenFn ?COLORING))
(attribute ?OBJ ?PROPERTY))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?COLORING))
(not
(attribute ?OBJ ?PROPERTY))))))
Agar develop is an instance of vikaasa, to yah kuch tatva-vaahaka padaartha obj nahin, ki obj is a patient of develop.
(=>
(instance ?DEVELOP ContentDevelopment)
(exists
(?OBJ)
(and
(instance ?OBJ ContentBearingObject)
(patient ?DEVELOP ?OBJ))))
Agar read is an instance of padhaaii, to yah kuch vishaya text,prop nahin, ki text contains information prop aur read expresses the content of prop.
(=>
(instance ?READ Reading)
(exists
(?TEXT ?PROP)
(and
(instance ?TEXT Text)
(containsInformation ?TEXT ?PROP)
(realization ?READ ?PROP))))
Agar decode is an instance of kuta vyaakhyaayana aur doc1 is a patient of decode, to yah kuch encode,doc2,time nahin, ki doc2 contains information prop aur doc1 contains information prop aur time is a part of "before "the time of existence of decode"" aur encode is an instance of kuta lekhana aur doc2 is a patient of encode during time.
(=>
(and
(instance ?DECODE Decoding)
(patient ?DECODE ?DOC1))
(exists
(?ENCODE ?DOC2 ?TIME)
(and
(containsInformation ?DOC2 ?PROP)
(containsInformation ?DOC1 ?PROP)
(temporalPart
?TIME
(PastFn
(WhenFn ?DECODE)))
(holdsDuring
?TIME
(and
(instance ?ENCODE Encoding)
(patient ?ENCODE ?DOC2))))))
Agar wet is an instance of kledana aur obj is a patient of wet, to wet is an attribute of obj yaa damp is an attribute of obj immediately after "the time of existence of wet".
(=>
(and
(instance ?WET Wetting)
(patient ?WET ?OBJ))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?WET))
(or
(attribute ?OBJ Wet)
(attribute ?OBJ Damp))))
Agar wet is an instance of kledana, to yah kuch obj nahin, ki liquid is an attribute of obj aur obj is a patient of wet.
(=>
(instance ?WET Wetting)
(exists
(?OBJ)
(and
(attribute ?OBJ Liquid)
(patient ?WET ?OBJ))))
Agar dry is an instance of shurkan aur obj is a patient of dry, to dry is an attribute of obj immediately after "the time of existence of dry".
(=>
(and
(instance ?DRY Drying)
(patient ?DRY ?OBJ))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?DRY))
(attribute ?OBJ Dry)))
Agar action is an instance of srijana, to yah kuch result nahin, ki result is a result of action.
(=>
(instance ?ACTION Creation)
(exists
(?RESULT)
(result ?ACTION ?RESULT)))
Agar pub is an instance of prakaashana aur text is a patient of pub, to text is a subclass of vishaya.
(=>
(and
(instance ?PUB Publication)
(patient ?PUB ?TEXT))
(subclass ?TEXT Text))
Agar cook is an instance of paaka karma, to yah kuch aahaara food nahin, ki food is a result of cook.
(=>
(instance ?COOK Cooking)
(exists
(?FOOD)
(and
(instance ?FOOD Food)
(result ?COOK ?FOOD))))
Agar search is an instance of khoja aur search agent kaa kaaran hai aur entity is a patient of search, to agent is interested in entity.
(=>
(and
(instance ?SEARCH Searching)
(agent ?SEARCH ?AGENT)
(patient ?SEARCH ?ENTITY))
(inScopeOfInterest ?AGENT ?ENTITY))
Agar pursue is an instance of anisarana aur pursue agent kaa kaaran hai aur obj is a patient of pursue, to agent wants obj during pursue.
(=>
(and
(instance ?PURSUE Pursuing)
(agent ?PURSUE ?AGENT)
(patient ?PURSUE ?OBJ))
(holdsDuring
?PURSUE
(wants ?AGENT ?OBJ)))
Agar pursue is an instance of anisarana aur pursue agent kaa kaaran hai aur obj is a patient of pursue, to agent doesn't posess obj during pursue.
(=>
(and
(instance ?PURSUE Pursuing)
(agent ?PURSUE ?AGENT)
(patient ?PURSUE ?OBJ))
(holdsDuring
?PURSUE
(not
(possesses ?AGENT ?OBJ))))
Agar investigate is an instance of anveshana karma aur prop is a patient of investigate, to prop is an instance of sUtra.
(=>
(and
(instance ?INVESTIGATE Investigating)
(patient ?INVESTIGATE ?PROP))
(instance ?PROP Formula))
Agar investigate is an instance of anveshana karma aur investigate agent kaa kaaran hai aur prop is a patient of investigate, to agent doesn't know prop the time of existence of investigate.
(=>
(and
(instance ?INVESTIGATE Investigating)
(agent ?INVESTIGATE ?AGENT)
(patient ?INVESTIGATE ?PROP))
(holdsDuring
(WhenFn ?INVESTIGATE)
(not
(knows ?AGENT ?PROP))))
Agar proc is an instance of nidaanakaarii prakriyaa aur proc agent kaa kaaran hai, to yah kuch cause nahin, ki proc has &n purpose "agent knows "cause causes proc"" for agent.
(=>
(and
(instance ?PROC DiagnosticProcess)
(agent ?PROC ?AGENT))
(exists
(?CAUSE)
(hasPurposeForAgent
?PROC
(knows
?AGENT
(causes ?CAUSE ?PROC))
?AGENT)))
Agar interaction is an instance of saamaajika antah kriyaa, to yah kuch agent1,agent2 nahin, ki interaction agent1 kaa kaaran hai aur interaction agent2 kaa kaaran hai aur agent1 is not equal to agent2.
(=>
(instance ?INTERACTION SocialInteraction)
(exists
(?AGENT1 ?AGENT2)
(and
(agent ?INTERACTION ?AGENT1)
(agent ?INTERACTION ?AGENT2)
(not
(equal ?AGENT1 ?AGENT2)))))
Agar pretend is an instance of pradarshana, to yah kuch person,prop nahin, ki pretend has purpose "person prop par vishvaas kartaa hai" aur prop is true.
(=>
(instance ?PRETEND Pretending)
(exists
(?PERSON ?PROP)
(and
(hasPurpose
?PRETEND
(believes ?PERSON ?PROP))
(true ?PROP True))))
Agar communicate is an instance of sanchaarana, to yah kuch tatva-vaahaka padaartha obj,sangyaanaatmaka kartaa agent1,sangyaanaatmaka kartaa agent2 nahin, ki obj is a patient of communicate aur communicate agent1 kaa kaaran hai aur communicate ends at agent2.
(=>
(instance ?COMMUNICATE Communication)
(exists
(?OBJ ?AGENT1 ?AGENT2)
(and
(instance ?OBJ ContentBearingObject)
(patient ?COMMUNICATE ?OBJ)
(instance ?AGENT1 CognitiveAgent)
(agent ?COMMUNICATE ?AGENT1)
(instance ?AGENT2 CognitiveAgent)
(destination ?COMMUNICATE ?AGENT2))))
Agar disseminate is an instance of prasaarana, to yah kuch sangyaanaatmaka kartaa agent1,sangyaanaatmaka kartaa agent2 nahin, ki disseminate ends at agent1 aur disseminate ends at agent2 aur agent1 is not equal to agent2.
(=>
(instance ?DISSEMINATE Disseminating)
(exists
(?AGENT1 ?AGENT2)
(and
(destination ?DISSEMINATE ?AGENT1)
(instance ?AGENT1 CognitiveAgent)
(destination ?DISSEMINATE ?AGENT2)
(instance ?AGENT2 CognitiveAgent)
(not
(equal ?AGENT1 ?AGENT2)))))
Agar advert is an instance of vigyaapana karma, to yah kuch obj nahin, ki advert includes a reference to obj aur advert has purpose "yah kuch vikraya sale nahin, ki obj is a patient of sale".
(=>
(instance ?ADVERT Advertising)
(exists
(?OBJ)
(and
(refers ?ADVERT ?OBJ)
(hasPurpose
?ADVERT
(exists
(?SALE)
(and
(instance ?SALE Selling)
(patient ?SALE ?OBJ)))))))
Agar communicate is an instance of linguistic communication, to yah kuch bhaashaa-sambandhI abhivyakti obj nahin, ki obj is a patient of communicate.
(=>
(instance ?COMMUNICATE LinguisticCommunication)
(exists
(?OBJ)
(and
(instance ?OBJ LinguisticExpression)
(patient ?COMMUNICATE ?OBJ))))
Agar state is an instance of kathana aur state agent kaa kaaran hai aur formula is a patient of state aur formula is an instance of sUtra, to agent formula par vishvaas kartaa hai the time of existence of state.
(=>
(and
(instance ?STATE Stating)
(agent ?STATE ?AGENT)
(patient ?STATE ?FORMULA)
(instance ?FORMULA Formula))
(holdsDuring
(WhenFn ?STATE)
(believes ?AGENT ?FORMULA)))
Agar order is an instance of kramabandhana aur formula is a patient of order, to the statement formula has the model force of obligation.
(=>
(and
(instance ?ORDER Ordering)
(patient ?ORDER ?FORMULA))
(modalAttribute ?FORMULA Obligation))
Agar request is an instance of praarthanaa karanaa aur request agent kaa kaaran hai aur formula is a patient of request aur formula is an instance of sUtra, to agent desires formula.
(=>
(and
(instance ?REQUEST Requesting)
(agent ?REQUEST ?AGENT)
(patient ?REQUEST ?FORMULA)
(instance ?FORMULA Formula))
(desires ?AGENT ?FORMULA))
Agar question is an instance of prashna karanaa aur question agent kaa kaaran hai aur formula is a patient of question aur formula is an instance of sUtra, to agent doesn't know formula the time of existence of question.
(=>
(and
(instance ?QUESTION Questioning)
(agent ?QUESTION ?AGENT)
(patient ?QUESTION ?FORMULA)
(instance ?FORMULA Formula))
(holdsDuring
(WhenFn ?QUESTION)
(not
(knows ?AGENT ?FORMULA))))
Agar commit is an instance of aur formula is a patient of commit aur formula is an instance of sUtra, to the statement formula has the model force of promise.
(=>
(and
(instance ?COMMIT Committing)
(patient ?COMMIT ?FORMULA)
(instance ?FORMULA Formula))
(modalAttribute ?FORMULA Promise))
Agar express is an instance of abhovyaktikarana aur express agent kaa kaaran hai, to yah kuch mano avasthaa, EmotionalState(bhaavaatmaka avasthaa state nahin, ki state is an attribute of agent aur express expresses state.
(=>
(and
(instance ?EXPRESS Expressing)
(agent ?EXPRESS ?AGENT))
(exists
(?STATE)
(and
(instance ?STATE StateOfMind)
(attribute ?AGENT ?STATE)
(represents ?EXPRESS ?STATE))))
Agar declare is an instance of ghoshanaa aur declare agent1 kaa kaaran hai, to yah kuch proc,agent2 nahin, ki declare allows agent2 to perform task of the type proc yaa declare obligates agent2 to perform task of the type proc.
(=>
(and
(instance ?DECLARE Declaring)
(agent ?DECLARE ?AGENT1))
(exists
(?PROC ?AGENT2)
(or
(confersRight ?PROC ?DECLARE ?AGENT2)
(confersObligation ?PROC ?DECLARE ?AGENT2))))
- agar cooperate is an instance of sahayoga,
- to yah kuch purp nahin, ki sab-kuch agent ke lie hai, ki: agar cooperate agent kaa kaaran hai, to cooperate has &n purpose purp for agent
.
(=>
(instance ?COOPERATE Cooperation)
(exists
(?PURP)
(forall
(?AGENT)
(=>
(agent ?COOPERATE ?AGENT)
(hasPurposeForAgent ?COOPERATE ?PURP ?AGENT)))))
Agar meet is an instance of sangoshthii aur meet agent1 kaa kaaran hai aur meet agent2 kaa kaaran hai, to agent1 is near to agent2 the time of existence of meet.
(=>
(and
(instance ?MEET Meeting)
(agent ?MEET ?AGENT1)
(agent ?MEET ?AGENT2))
(holdsDuring
(WhenFn ?MEET)
(orientation ?AGENT1 ?AGENT2 Near)))
Agar meet is an instance of sangoshthii, to yah kuch agent1,agent2 nahin, ki meet agent1 kaa kaaran hai aur meet agent2 kaa kaaran hai aur meet has purpose "yah kuch sanchaarana comm nahin, ki comm agent1 kaa kaaran hai aur comm agent2 kaa kaaran hai".
(=>
(instance ?MEET Meeting)
(exists
(?AGENT1 ?AGENT2)
(and
(agent ?MEET ?AGENT1)
(agent ?MEET ?AGENT2)
(hasPurpose
?MEET
(exists
(?COMM)
(and
(instance ?COMM Communication)
(agent ?COMM ?AGENT1)
(agent ?COMM ?AGENT2)))))))
Agar contest is an instance of pratiyogitaa, to yah kuch agent1,agent2,purp1,purp2 nahin, ki contest agent1 kaa kaaran hai aur contest agent2 kaa kaaran hai aur contest has &n purpose purp1 for agent1 aur contest has &n purpose purp2 for agent2 aur agent1 is not equal to agent2 aur purp1 is not equal to purp2.
(=>
(instance ?CONTEST Contest)
(exists
(?AGENT1 ?AGENT2 ?PURP1 ?PURP2)
(and
(agent ?CONTEST ?AGENT1)
(agent ?CONTEST ?AGENT2)
(hasPurposeForAgent ?CONTEST ?PURP1 ?AGENT1)
(hasPurposeForAgent ?CONTEST ?PURP2 ?AGENT2)
(not
(equal ?AGENT1 ?AGENT2))
(not
(equal ?PURP1 ?PURP2)))))
Agar war is an instance of yuddha, to yah kuch ladhaaii battle nahin, ki battle is a subprocess of war.
(=>
(instance ?WAR War)
(exists
(?BATTLE)
(and
(instance ?BATTLE Battle)
(subProcess ?BATTLE ?WAR))))
(=>
(and
(instance ?WAR War)
(agent ?WAR ?AGENT))
(or
(instance ?AGENT Nation)
(and
(instance ?AGENT Organization)
(forall
(?MEMBER)
(=>
(member ?MEMBER ?AGENT)
(instance ?MEMBER Nation))))))
Agar battle is an instance of ladhaaii, to yah kuch yuddha war nahin, ki battle is a subprocess of war.
(=>
(instance ?BATTLE Battle)
(exists
(?WAR)
(and
(instance ?WAR War)
(subProcess ?BATTLE ?WAR))))
Agar battle is an instance of ladhaaii, to yah kuch hinsaatmaka pratiyogitaa attack nahin, ki attack is a subprocess of battle.
(=>
(instance ?BATTLE Battle)
(exists
(?ATTACK)
(and
(instance ?ATTACK ViolentContest)
(subProcess ?ATTACK ?BATTLE))))
Agar move is an instance of yuddhaabhinaya, to yah kuch pratiyogitaa contest nahin, ki move is a subprocess of contest.
(=>
(instance ?MOVE Maneuver)
(exists
(?CONTEST)
(and
(instance ?CONTEST Contest)
(subProcess ?MOVE ?CONTEST))))
Agar percept is an instance of gyaana aur percept agent kaa kaaran hai, to agent is an instance of pashu.
(=>
(and
(instance ?PERCEPT Perception)
(agent ?PERCEPT ?AGENT))
(instance ?AGENT Animal))
Agar percept is an instance of gyaana aur percept agent kaa kaaran hai aur object is a patient of percept, to agent notices object.
(=>
(and
(instance ?PERCEPT Perception)
(agent ?PERCEPT ?AGENT)
(patient ?PERCEPT ?OBJECT))
(notices ?AGENT ?OBJECT))
Agar agent is an instance of sachetana kartaa, to agent is capable to do gyaana in role experiencer.
(=>
(instance ?AGENT SentientAgent)
(capability Perception experiencer ?AGENT))
Agar see is an instance of darshana aur see agent kaa kaaran hai aur obj is a patient of see, to
(=>
(and
(instance ?SEE Seeing)
(agent ?SEE ?AGENT)
(patient ?SEE ?OBJ))
(and
(attribute ?OBJ Illuminated)
(exists
(?PROP)
(and
(instance ?PROP ColorAttribute)
(knows
?AGENT
(attribute ?OBJ ?PROP))))))
Agar smell is an instance of mahakanaa aur obj is a patient of smell, to yah kuch gandha visheshataa attr nahin, ki attr is an attribute of obj.
(=>
(and
(instance ?SMELL Smelling)
(patient ?SMELL ?OBJ))
(exists
(?ATTR)
(and
(instance ?ATTR OlfactoryAttribute)
(attribute ?OBJ ?ATTR))))
Agar taste is an instance of svaada aur obj is a patient of taste, to yah kuch svaada visheshataa attr nahin, ki attr is an attribute of obj.
(=>
(and
(instance ?TASTE Tasting)
(patient ?TASTE ?OBJ))
(exists
(?ATTR)
(and
(instance ?ATTR TasteAttribute)
(attribute ?OBJ ?ATTR))))
Agar hear is an instance of sunanaa aur obj is a patient of hear, to yah kuch dhvani visheshataa attr nahin, ki attr is an attribute of obj.
(=>
(and
(instance ?HEAR Hearing)
(patient ?HEAR ?OBJ))
(exists
(?ATTR)
(and
(instance ?ATTR SoundAttribute)
(attribute ?OBJ ?ATTR))))
Agar tactile is an instance of sparshaniiya gyaana, to yah kuch shparshana touch nahin, ki touch is a subprocess of tactile.
(=>
(instance ?TACTILE TactilePerception)
(exists
(?TOUCH)
(and
(instance ?TOUCH Touching)
(subProcess ?TOUCH ?TACTILE))))
Agar emit is an instance of vikaranakaarii dhvani aur emit sound kaa kaaran hai, to yah kuch dhvani visheshataa attr nahin, ki attr is an attribute of sound.
(=>
(and
(instance ?EMIT RadiatingSound)
(agent ?EMIT ?SOUND))
(exists
(?ATTR)
(and
(instance ?ATTR SoundAttribute)
(attribute ?SOUND ?ATTR))))
Agar process is an instance of avastaa parivartana aur obj is a patient of process, to yah kuch part,bhOtika avasthaa state1,bhOtika avasthaa state2 nahin, ki part is a part of obj aur state1 is not equal to state2 aur state1 is an attribute of part immediately before "the time of existence of process" aur state2 is an attribute of part immediately after "the time of existence of freeze".
(=>
(and
(instance ?PROCESS StateChange)
(patient ?PROCESS ?OBJ))
(exists
(?PART ?STATE1 ?STATE2)
(and
(part ?PART ?OBJ)
(instance ?STATE1 PhysicalState)
(instance ?STATE2 PhysicalState)
(not
(equal ?STATE1 ?STATE2))
(holdsDuring
(ImmediatePastFn
(WhenFn ?PROCESS))
(attribute ?PART ?STATE1))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?FREEZE))
(attribute ?PART ?STATE2)))))
Agar melt is an instance of pighalana, to yah kuch taapana heat nahin, ki heat is a subprocess of melt.
(=>
(instance ?MELT Melting)
(exists
(?HEAT)
(and
(instance ?HEAT Heating)
(subProcess ?HEAT ?MELT))))
Agar melt is an instance of pighalana aur obj is a patient of melt, to yah kuch part nahin, ki part is a part of obj aur solid is an attribute of part immediately before "the time of existence of melt" aur liquid is an attribute of part immediately after "the time of existence of melt".
(=>
(and
(instance ?MELT Melting)
(patient ?MELT ?OBJ))
(exists
(?PART)
(and
(part ?PART ?OBJ)
(holdsDuring
(ImmediatePastFn
(WhenFn ?MELT))
(attribute ?PART Solid))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?MELT))
(attribute ?PART Liquid)))))
Agar boil is an instance of ubalana, to yah kuch taapana heat nahin, ki heat is a subprocess of boil.
(=>
(instance ?BOIL Boiling)
(exists
(?HEAT)
(and
(instance ?HEAT Heating)
(subProcess ?HEAT ?BOIL))))
Agar boil is an instance of ubalana aur obj is a patient of boil, to yah kuch part nahin, ki part is a part of obj aur liquid is an attribute of part immediately before "the time of existence of boil" aur gas is an attribute of part immediately after "the time of existence of boil".
(=>
(and
(instance ?BOIL Boiling)
(patient ?BOIL ?OBJ))
(exists
(?PART)
(and
(part ?PART ?OBJ)
(holdsDuring
(ImmediatePastFn
(WhenFn ?BOIL))
(attribute ?PART Liquid))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?BOIL))
(attribute ?PART Gas)))))
Agar cond is an instance of sanghanana, to yah kuch shiitalataa cool nahin, ki cool is a subprocess of cond.
(=>
(instance ?COND Condensing)
(exists
(?COOL)
(and
(instance ?COOL Cooling)
(subProcess ?COOL ?COND))))
Agar cond is an instance of sanghanana aur obj is a patient of cond, to yah kuch part nahin, ki part is a part of obj aur gas is an attribute of part immediately before "the time of existence of cond" aur liquid is an attribute of part immediately after "the time of existence of cond".
(=>
(and
(instance ?COND Condensing)
(patient ?COND ?OBJ))
(exists
(?PART)
(and
(part ?PART ?OBJ)
(holdsDuring
(ImmediatePastFn
(WhenFn ?COND))
(attribute ?PART Gas))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?COND))
(attribute ?PART Liquid)))))
Agar freeze is an instance of himiikarana, to yah kuch shiitalataa cool nahin, ki cool is a subprocess of freeze.
(=>
(instance ?FREEZE Freezing)
(exists
(?COOL)
(and
(instance ?COOL Cooling)
(subProcess ?COOL ?FREEZE))))
Agar freeze is an instance of himiikarana aur obj is a patient of freeze, to yah kuch part nahin, ki part is a part of obj aur liquid is an attribute of part immediately before "the time of existence of freeze" aur solid is an attribute of part immediately after "the time of existence of freeze".
(=>
(and
(instance ?FREEZE Freezing)
(patient ?FREEZE ?OBJ))
(exists
(?PART)
(and
(part ?PART ?OBJ)
(holdsDuring
(ImmediatePastFn
(WhenFn ?FREEZE))
(attribute ?PART Liquid))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?FREEZE))
(attribute ?PART Solid)))))
Agar area is an instance of jala kshetra, to yah kuch bed,hole,jala water nahin, ki "the host of the hole hole" is equal to bed aur water properly fills hole aur "the union of the parts of bed and water" is equal to area.
(=>
(instance ?AREA WaterArea)
(exists
(?BED ?HOLE ?WATER)
(and
(equal
(PrincipalHostFn ?HOLE)
?BED)
(instance ?WATER Water)
(properlyFills ?WATER ?HOLE)
(equal
(MereologicalSumFn ?BED ?WATER)
?AREA))))
Agar land1 is an instance of thala kshetra, to yah kuch land2 nahin, ki land1 is a part of land2 aur land2 is an instance of mahaadvIpa yaa land2 is an instance of dvIpa.
(=>
(instance ?LAND1 LandArea)
(exists
(?LAND2)
(and
(part ?LAND1 ?LAND2)
(or
(instance ?LAND2 Continent)
(instance ?LAND2 Island)))))
Agar island is an instance of dvIpa, to yah kuch thala kshetra area,part1,part2 nahin, ki part1 is a part of island aur part2 is a part of area aur island is not a part of area aur area is not a part of island aur part1 is connected to part2.
(=>
(instance ?ISLAND Island)
(not
(exists
(?AREA ?PART1 ?PART2)
(and
(instance ?AREA LandArea)
(part ?PART1 ?ISLAND)
(part ?PART2 ?AREA)
(not
(part ?ISLAND ?AREA))
(not
(part ?AREA ?ISLAND))
(connected ?PART1 ?PART2)))))
Agar state is an instance of raajya yaa praanta, to yah kuch raashtra land nahin, ki state is a properPart of land.
(=>
(instance ?STATE StateOrProvince)
(exists
(?LAND)
(and
(instance ?LAND Nation)
(properPart ?STATE ?LAND))))
Agar the developmental form of obj is attr1 during time1 aur attr2 is a successor attribute of attr1, to yah kuch time2 nahin, ki time2 happens earlier than time1 aur the developmental form of obj is attr2 during time2.
(=>
(and
(holdsDuring
?TIME1
(developmentalForm ?OBJ ?ATTR1))
(successorAttributeClosure ?ATTR2 ?ATTR1))
(exists
(?TIME2)
(and
(earlier ?TIME2 ?TIME1)
(holdsDuring
?TIME2
(developmentalForm ?OBJ ?ATTR2)))))
Agar organism is an instance of jIvadhaarI padaartha, to yah kuch janma birth nahin, ki organism experiences birth.
(=>
(instance ?ORGANISM Organism)
(exists
(?BIRTH)
(and
(instance ?BIRTH Birth)
(experiencer ?BIRTH ?ORGANISM))))
Agar organism lives in obj, to yah kuch time nahin, ki organism is located at obj during time.
(=>
(inhabits ?ORGANISM ?OBJ)
(exists
(?TIME)
(holdsDuring
?TIME
(located ?ORGANISM ?OBJ))))
Agar parent is a parent of child, to "the beginning of "the time of existence of parent"" happen?{s} before "the beginning of "the time of existence of child"".
(=>
(parent ?CHILD ?PARENT)
(before
(BeginFn
(WhenFn ?PARENT))
(BeginFn
(WhenFn ?CHILD))))
Agar parent is a parent of child aur class is a subclass of jIvadhaarI padaartha aur parent is an instance of class, to child is an instance of class.
(=>
(and
(parent ?CHILD ?PARENT)
(subclass ?CLASS Organism)
(instance ?PARENT ?CLASS))
(instance ?CHILD ?CLASS))
Agar parent is a parent of child, to parent is a mother of child yaa parent is a father of child.
(=>
(parent ?CHILD ?PARENT)
(or
(mother ?CHILD ?PARENT)
(father ?CHILD ?PARENT)))
Agar organism is an instance of jIvadhaarI padaartha, to yah kuch parent nahin, ki parent is a parent of organism.
(=>
(instance ?ORGANISM Organism)
(exists
(?PARENT)
(parent ?ORGANISM ?PARENT)))
Agar mother is a mother of child, to female is an attribute of mother.
(=>
(mother ?CHILD ?MOTHER)
(attribute ?MOTHER Female))
Agar father is a father of child, to male is an attribute of father.
(=>
(father ?CHILD ?FATHER)
(attribute ?FATHER Male))
Agar alga is an instance of shEvaala, to yah kuch jala water nahin, ki alga lives in water.
(=>
(instance ?ALGA Alga)
(exists
(?WATER)
(and
(inhabits ?ALGA ?WATER)
(instance ?WATER Water))))
Agar fungus is an instance of kavaka aur fungus lives in obj, to obj is an instance of jIvadhaarI padaartha.
(=>
(and
(instance ?FUNGUS Fungus)
(inhabits ?FUNGUS ?OBJ))
(instance ?OBJ Organism))
(=>
(instance ?BACTERIUM Bacterium)
(exists
(?CELL1)
(and
(component ?CELL1 ?BACTERIUM)
(instance ?CELL1 Cell)
(forall
(?CELL2)
(=>
(and
(component ?CELL2 ?BACTERIUM)
(instance ?CELL2 Cell))
(equal ?CELL1 ?CELL2))))))
Agar bacterium is an instance of jIvaaNu aur bacterium lives in obj, to obj is an instance of jIvadhaarI padaartha.
(=>
(and
(instance ?BACTERIUM Bacterium)
(inhabits ?BACTERIUM ?OBJ))
(instance ?OBJ Organism))
(=>
(instance ?VIRUS Virus)
(exists
(?MOL1)
(and
(component ?MOL1 ?VIRUS)
(instance ?MOL1 Molecule)
(forall
(?MOL2)
(=>
(and
(component ?MOL2 ?VIRUS)
(instance ?MOL2 Molecule))
(equal ?MOL1 ?MOL2))))))
Agar virus is an instance of vishaaNu aur virus lives in obj, to obj is an instance of jIvadhaarI padaartha.
(=>
(and
(instance ?VIRUS Virus)
(inhabits ?VIRUS ?OBJ))
(instance ?OBJ Organism))
Agar virus is an instance of vishaaNu aur proc is an instance of punaraavritti aur proc virus kaa kaaran hai, to yah kuch koshIka cell nahin, ki proc is located at cell.
(=>
(and
(instance ?VIRUS Virus)
(instance ?PROC Replication)
(agent ?PROC ?VIRUS))
(exists
(?CELL)
(and
(located ?PROC ?CELL)
(instance ?CELL Cell))))
Agar fish is an instance of matsya, to yah kuch jala water nahin, ki fish lives in water.
(=>
(instance ?FISH Fish)
(exists
(?WATER)
(and
(inhabits ?FISH ?WATER)
(instance ?WATER Water))))
Agar organism is an instance of vEshika jIva, to yah kuch jEvika rUpa se kriyaashIla padaartha substance nahin, ki substance is a part of organism.
(=>
(instance ?ORGANISM ToxicOrganism)
(exists
(?SUBSTANCE)
(and
(instance ?SUBSTANCE BiologicallyActiveSubstance)
(part ?SUBSTANCE ?ORGANISM))))
Agar food is an instance of aahaara, to yah kuch pOshtika tatva nutrient nahin, ki nutrient is a part of food.
(=>
(instance ?FOOD Food)
(exists
(?NUTRIENT)
(and
(instance ?NUTRIENT Nutrient)
(part ?NUTRIENT ?FOOD))))
- agar food is an instance of aahaara,
- to sab-kuch part1 ke lie hai, ki: agar part1 is a part of food, to yah kuch part2,pashu animal nahin, ki part1 is a part of part2 aur part2 is a part of animal
.
(=>
(instance ?FOOD Food)
(forall
(?PART1)
(=>
(part ?PART1 ?FOOD)
(exists
(?PART2 ?ANIMAL)
(and
(part ?PART1 ?PART2)
(part ?PART2 ?ANIMAL)
(instance ?ANIMAL Animal))))))
- agar meat is an instance of maansa,
- to sab-kuch part ke lie hai, ki: agar part is a part of meat, to yah kuch subpart,time,animal nahin, ki subpart is a part of part aur animal is an instance of pashu aur subpart is a part of animal during time
.
(=>
(instance ?MEAT Meat)
(forall
(?PART)
(=>
(part ?PART ?MEAT)
(exists
(?SUBPART ?TIME ?ANIMAL)
(and
(part ?SUBPART ?PART)
(holdsDuring
?TIME
(and
(instance ?ANIMAL Animal)
(part ?SUBPART ?ANIMAL))))))))
(=>
(instance ?VEG FruitOrVegetable)
(forall
(?PART)
(=>
(part ?PART ?VEG)
(exists
(?SUBPART ?TIME ?PLANT)
(and
(part ?SUBPART ?PART)
(holdsDuring
?TIME
(and
(instance ?PLANT Plant)
(part ?SUBPART ?PLANT))))))))
Agar bev is an instance of peya, to liquid is an attribute of bev.
(=>
(instance ?BEV Beverage)
(attribute ?BEV Liquid))
Agar drink is an instance of pInaa aur bev is a patient of drink, to bev is an instance of peya.
(=>
(and
(instance ?DRINK Drinking)
(patient ?DRINK ?BEV))
(instance ?BEV Beverage))
Agar anat is an instance of shaarIrika sanrachanaa, to yah kuch jIvadhaarI padaartha organism nahin, ki anat is a part of organism.
(=>
(instance ?ANAT AnatomicalStructure)
(exists
(?ORGANISM)
(and
(instance ?ORGANISM Organism)
(part ?ANAT ?ORGANISM))))
Agar part is an instance of shaarIrika sanrachanaa, to yah kuch koshIka cell nahin, ki cell is a part of part.
(=>
(instance ?PART AnatomicalStructure)
(exists
(?CELL)
(and
(instance ?CELL Cell)
(part ?CELL ?PART))))
Agar part is an instance of shaarIrika bhaaga, to yah kuch roga vigyaaniya prakriyaa proc nahin, ki part is a result of proc.
(=>
(instance ?PART BodyPart)
(not
(exists
(?PROC)
(and
(instance ?PROC PathologicProcess)
(result ?PROC ?PART)))))
Agar cover is an instance of sharIra aavaraNa, to yah kuch body nahin, ki cover is a superficial part of body aur body is an instance of jIvadhaarI padaartha yaa body is an instance of shaarIrika bhaaga.
(=>
(instance ?COVER BodyCovering)
(exists
(?BODY)
(and
(superficialPart ?COVER ?BODY)
(or
(instance ?BODY Organism)
(instance ?BODY BodyPart)))))
Agar junct is an instance of shaarIrika sandhi, to yah kuch shaarIrika bhaaga struct nahin, ki junct is a component of struct.
(=>
(instance ?JUNCT BodyJunction)
(exists
(?STRUCT)
(and
(instance ?STRUCT BodyPart)
(component ?JUNCT ?STRUCT))))
Agar junct is an instance of shaarIrika sandhi, to yah kuch shaarIrika bhaaga struct1,shaarIrika bhaaga struct2 nahin, ki junct is connected to struct1 aur junct is connected to struct2 aur struct1 is not equal to struct2.
(=>
(instance ?JUNCT BodyJunction)
(exists
(?STRUCT1 ?STRUCT2)
(and
(connected ?JUNCT ?STRUCT1)
(connected ?JUNCT ?STRUCT2)
(instance ?STRUCT1 BodyPart)
(instance ?STRUCT2 BodyPart)
(not
(equal ?STRUCT1 ?STRUCT2)))))
Agar organ is an instance of anga, to yah kuch purp nahin, ki organ has purpose purp.
(=>
(instance ?ORGAN Organ)
(exists
(?PURP)
(hasPurpose ?ORGAN ?PURP)))
Agar stuff is an instance of Utaka, to yah kuch koshIka part nahin, ki part is a part of stuff.
(=>
(instance ?STUFF Tissue)
(exists
(?PART)
(and
(instance ?PART Cell)
(part ?PART ?STUFF))))
Agar stuff is an instance of Utaka, to yah kuch jIvadhaarI padaartha organism nahin, ki stuff is a part of organism.
(=>
(instance ?STUFF Tissue)
(exists
(?ORGANISM)
(and
(instance ?ORGANISM Organism)
(part ?STUFF ?ORGANISM))))
Agar bone is an instance of asthi, to yah kuch kasherukI vert nahin, ki bone is a part of vert.
(=>
(instance ?BONE Bone)
(exists
(?VERT)
(and
(instance ?VERT Vertebrate)
(part ?BONE ?VERT))))
Agar morph is an instance of rUpima, to yah kuch rUpima othermorph nahin, ki othermorph is a part of morph aur othermorph is not equal to morph.
(=>
(instance ?MORPH Morpheme)
(not
(exists
(?OTHERMORPH)
(and
(instance ?OTHERMORPH Morpheme)
(part ?OTHERMORPH ?MORPH)
(not
(equal ?OTHERMORPH ?MORPH))))))
Agar morph is an instance of rUpima, to yah kuch shabda word nahin, ki morph is a part of word.
(=>
(instance ?MORPH Morpheme)
(exists
(?WORD)
(and
(instance ?WORD Word)
(part ?MORPH ?WORD))))
Agar word is an instance of shabda, to yah kuch rUpima part nahin, ki part is a part of word.
(=>
(instance ?WORD Word)
(exists
(?PART)
(and
(part ?PART ?WORD)
(instance ?PART Morpheme))))
Agar phrase is an instance of vaakyaansha, to yah kuch shabda part1,shabda part2 nahin, ki part1 is a part of phrase aur part2 is a part of phrase aur part1 is not equal to part2.
(=>
(instance ?PHRASE Phrase)
(exists
(?PART1 ?PART2)
(and
(part ?PART1 ?PHRASE)
(part ?PART2 ?PHRASE)
(instance ?PART1 Word)
(instance ?PART2 Word)
(not
(equal ?PART1 ?PART2)))))
Agar sentence is an instance of vaakya, to yah kuch sangyaa vaakyansha phrase1,kriyaa vaakyaansha phrase2 nahin, ki phrase1 is a part of sentence aur phrase2 is a part of sentence.
(=>
(instance ?SENTENCE Sentence)
(exists
(?PHRASE1 ?PHRASE2)
(and
(instance ?PHRASE1 NounPhrase)
(instance ?PHRASE2 VerbPhrase)
(part ?PHRASE1 ?SENTENCE)
(part ?PHRASE2 ?SENTENCE))))
Agar text is an instance of vishaya, to yah kuch prastaava prop nahin, ki text contains information prop.
(=>
(instance ?TEXT Text)
(exists
(?PROP)
(and
(instance ?PROP Proposition)
(containsInformation ?TEXT ?PROP))))
Agar text is an instance of vishaya, to yah kuch vaakya part nahin, ki part is a part of text.
(=>
(instance ?TEXT Text)
(exists
(?PART)
(and
(part ?PART ?TEXT)
(instance ?PART Sentence))))
Agar text is an instance of vishaya, to yah kuch likhaaii write nahin, ki text is a result of write.
(=>
(instance ?TEXT Text)
(exists
(?WRITE)
(and
(instance ?WRITE Writing)
(result ?WRITE ?TEXT))))
Agar sent is an instance of vaakya, to yah kuch sangyaa vaakyansha noun,kriyaa vaakyaansha verb nahin, ki noun is a part of sent aur verb is a part of sent.
(=>
(instance ?SENT Sentence)
(exists
(?NOUN ?VERB)
(and
(instance ?NOUN NounPhrase)
(instance ?VERB VerbPhrase)
(part ?NOUN ?SENT)
(part ?VERB ?SENT))))
Agar agent is the author of text, to yah kuch process,text instance nahin, ki process agent kaa kaaran hai aur text is a result of process.
(=>
(authors ?AGENT ?TEXT)
(exists
(?PROCESS ?INSTANCE)
(and
(agent ?PROCESS ?AGENT)
(instance ?INSTANCE ?TEXT)
(result ?PROCESS ?TEXT))))
Agar "edition int1 of text" is equal to edition1 aur "edition int2 of text" is equal to edition2 aur int2 is greater than int1 aur pub1 is an instance of prakaashana aur pub2 is an instance of prakaashana aur edition1 is a patient of pub1 aur edition2 is a patient of pub2 aur date of pub1 is date1 aur date of pub2 is date2, to "the end of date1" happen?{s} before "the end of date2".
(=>
(and
(equal
(EditionFn ?TEXT ?INT1)
?EDITION1)
(equal
(EditionFn ?TEXT ?INT2)
?EDITION2)
(greaterThan ?INT2 ?INT1)
(instance ?PUB1 Publication)
(instance ?PUB2 Publication)
(patient ?PUB1 ?EDITION1)
(patient ?PUB2 ?EDITION2)
(date ?PUB1 ?DATE1)
(date ?PUB2 ?DATE2))
(before
(EndFn ?DATE1)
(EndFn ?DATE2)))
Agar "edition number of text1" is equal to text2, to text1 subsumes the content of text2.
(=>
(equal
(EditionFn ?TEXT1 ?NUMBER)
?TEXT2)
(subsumesContentClass ?TEXT1 ?TEXT2))
Agar text is a subclass of saavadhika aur "volume int1 in the series text" is equal to volume1 aur "volume int2 in the series text" is equal to volume2 aur int2 is greater than int1 aur pub1 is an instance of prakaashana aur pub2 is an instance of prakaashana aur volume1 is a patient of pub1 aur volume2 is a patient of pub2 aur date of pub1 is date1 aur date of pub2 is date2, to "the end of date1" happen?{s} before "the end of date2".
(=>
(and
(subclass ?TEXT Periodical)
(equal
(SeriesVolumeFn ?TEXT ?INT1)
?VOLUME1)
(equal
(SeriesVolumeFn ?TEXT ?INT2)
?VOLUME2)
(greaterThan ?INT2 ?INT1)
(instance ?PUB1 Publication)
(instance ?PUB2 Publication)
(patient ?PUB1 ?VOLUME1)
(patient ?PUB2 ?VOLUME2)
(date ?PUB1 ?DATE1)
(date ?PUB2 ?DATE2))
(before
(EndFn ?DATE1)
(EndFn ?DATE2)))
Agar "volume number in the series series" is equal to volume, to series subsumes the content of volume.
(=>
(equal
(SeriesVolumeFn ?SERIES ?NUMBER)
?VOLUME)
(subsumesContentClass ?SERIES ?VOLUME))
Agar "the periodical number number of periodical" is equal to issue, to periodical subsumes the content of issue.
(=>
(equal
(PeriodicalIssueFn ?PERIODICAL ?NUMBER)
?ISSUE)
(subsumesContentClass ?PERIODICAL ?ISSUE))
Agar text is an instance of saaransha, to yah kuch vishaya text2 nahin, ki text2 subsumes the content of text.
(=>
(instance ?TEXT Summary)
(exists
(?TEXT2)
(and
(instance ?TEXT2 Text)
(subsumesContentInstance ?TEXT2 ?TEXT))))
Agar series is an instance of shQnkhalaa, to yah kuch pustaka book1,pustaka book2 nahin, ki series subsumes the content of book1 aur series subsumes the content of book2 aur book1 is not equal to book2.
(=>
(instance ?SERIES Series)
(exists
(?BOOK1 ?BOOK2)
(and
(instance ?BOOK1 Book)
(instance ?BOOK2 Book)
(subsumesContentInstance ?SERIES ?BOOK1)
(subsumesContentInstance ?SERIES ?BOOK2)
(not
(equal ?BOOK1 ?BOOK2)))))
Agar article is an instance of anychchhaeda, to yah kuch pustaka book nahin, ki book subsumes the content of article.
(=>
(instance ?ARTICLE Article)
(exists
(?BOOK)
(and
(instance ?BOOK Book)
(subsumesContentInstance ?BOOK ?ARTICLE))))
Agar doc is an instance of pramaanpatra aur agent posesses doc, to yah kuch proc nahin, ki doc allows agent to perform task of the type proc yaa doc obligates agent to perform task of the type proc.
(=>
(and
(instance ?DOC Certificate)
(possesses ?AGENT ?DOC))
(exists
(?PROC)
(or
(confersRight ?PROC ?DOC ?AGENT)
(confersObligation ?PROC ?DOC ?AGENT))))
Agar mole is an instance of mOlikyUla, to yah kuch aNu atom1,aNu atom2 nahin, ki atom1 is a part of mole aur atom2 is a part of mole aur atom1 is not equal to atom2.
(=>
(instance ?MOLE Molecule)
(exists
(?ATOM1 ?ATOM2)
(and
(instance ?ATOM1 Atom)
(instance ?ATOM2 Atom)
(part ?ATOM1 ?MOLE)
(part ?ATOM2 ?MOLE)
(not
(equal ?ATOM1 ?ATOM2)))))
Agar product is an instance of utpaada, to yah kuch utpaadana manufacture nahin, ki product is a result of manufacture.
(=>
(instance ?PRODUCT Product)
(exists
(?MANUFACTURE)
(and
(instance ?MANUFACTURE Manufacture)
(result ?MANUFACTURE ?PRODUCT))))
Agar artifact1 is a version of artifact2, to artifact1 is a subclass of artifact2.
(=>
(version ?ARTIFACT1 ?ARTIFACT2)
(subclass ?ARTIFACT1 ?ARTIFACT2))
- agar artifact is an instance of lekhana saamagrI,
- to yah kuch place nahin, ki sab-kuch time ke lie hai, ki: agar time happen?{s} before or at "the end of "the time of existence of artifact"" aur "the beginning of "the time of existence of artifact"" happen?{s} before or at time, to "artifact ki jagah time tha" is equal to place
.
(=>
(instance ?ARTIFACT StationaryArtifact)
(exists
(?PLACE)
(forall
(?TIME)
(=>
(and
(beforeOrEqual
?TIME
(EndFn
(WhenFn ?ARTIFACT)))
(beforeOrEqual
(BeginFn
(WhenFn ?ARTIFACT))
?TIME))
(equal
(WhereFn ?ARTIFACT ?TIME)
?PLACE)))))
Agar building is an instance of imaarata, to yah kuch maanava human nahin, ki - human lives in building
yaa - yah kuch act nahin, ki act human kaa kaaran hai aur act is located at building
.
(=>
(instance ?BUILDING Building)
(exists
(?HUMAN)
(and
(instance ?HUMAN Human)
(or
(inhabits ?HUMAN ?BUILDING)
(exists
(?ACT)
(and
(agent ?ACT ?HUMAN)
(located ?ACT ?BUILDING)))))))
Agar room is an instance of kaksha, to yah kuch imaarata build nahin, ki room is a properPart of build.
(=>
(instance ?ROOM Room)
(exists
(?BUILD)
(and
(instance ?BUILD Building)
(properPart ?ROOM ?BUILD))))
Agar clothing is an instance of paridhaana, to yah kuch vastra fabric nahin, ki fabric is a part of clothing.
(=>
(instance ?CLOTHING Clothing)
(exists
(?FABRIC)
(and
(instance ?FABRIC Fabric)
(part ?FABRIC ?CLOTHING))))
Agar device is an instance of saadhana, to yah kuch prakriyaa proc nahin, ki device is capable to do proc in role instrument.
(=>
(instance ?DEVICE Device)
(exists
(?PROC)
(and
(subclass ?PROC Process)
(capability ?PROC instrument ?DEVICE))))
Agar device is an instance of saadhana, to yah kuch prakriyaa proc nahin, ki device has purpose "device is capable to do proc in role instrument".
(=>
(instance ?DEVICE Device)
(exists
(?PROC)
(and
(subclass ?PROC Process)
(hasPurpose
?DEVICE
(capability ?PROC instrument ?DEVICE)))))
Agar instrument is an instance of vaadya yantra, to instrument is capable to do sangiita in role instrument.
(=>
(instance ?INSTRUMENT MusicalInstrument)
(capability Music instrument ?INSTRUMENT))
Agar device is an instance of parivahana saadhana, to device is capable to do parivahana in role instrument.
(=>
(instance ?DEVICE TransportationDevice)
(capability Transportation instrument ?DEVICE))
Agar weapon is an instance of hathiyaara, to weapon is capable to do kshati in role instrument.
(=>
(instance ?WEAPON Weapon)
(capability Damaging instrument ?WEAPON))
Agar weapon is an instance of hathiyaara, to weapon has purpose "yah kuch kshati dest,patient nahin, ki patient is a patient of dest aur ".
(=>
(instance ?WEAPON Weapon)
(hasPurpose
?WEAPON
(exists
(?DEST ?PATIENT)
(and
(instance ?DEST Damaging)
(patient ?DEST ?PATIENT)
(or
(instance ?PATIENT StationaryArtifact)
(instance ?PATIENT Animal)
(exists
(?ANIMAL)
(and
(instance ?ANIMAL Animal)
(inhabits ?ANIMAL ?PATIENT))))))))
- agar machine is an instance of yantra,
- to sab-kuch proc ke lie hai, ki: agar machine is an instrument for proc, to yah kuch resource,result nahin, ki resource is a resource for proc aur result is a result of proc
.
(=>
(instance ?MACHINE Machine)
(forall
(?PROC)
(=>
(instrument ?PROC ?MACHINE)
(exists
(?RESOURCE ?RESULT)
(and
(resource ?PROC ?RESOURCE)
(result ?PROC ?RESULT))))))
Agar comp is an instance of abhiyaantrikI ghataka, to yah kuch saadhana device nahin, ki comp is a component of device.
(=>
(instance ?COMP EngineeringComponent)
(exists
(?DEVICE)
(and
(instance ?DEVICE Device)
(component ?COMP ?DEVICE))))
Agar comp1 is connected to comp2, to comp1 is a component of comp2 aur comp2 is a component of comp1.
(=>
(connectedEngineeringComponents ?COMP1 ?COMP2)
(and
(not
(engineeringSubcomponent ?COMP1 ?COMP2))
(not
(engineeringSubcomponent ?COMP2 ?COMP1))))
Agar comp1 is connected to comp2, to comp1 is not an instance of abhiyaantrikI sanyojana aur comp2 is not an instance of abhiyaantrikI sanyojana.
(=>
(connectedEngineeringComponents ?COMP1 ?COMP2)
(not
(or
(instance ?COMP1 EngineeringConnection)
(instance ?COMP2 EngineeringConnection))))
Agar connection is an instance of abhiyaantrikI sanyojana, to yah kuch comp1,comp2 nahin, ki connection connects comp1 and comp2.
(=>
(instance ?CONNECTION EngineeringConnection)
(exists
(?COMP1 ?COMP2)
(connectsEngineeringComponents ?CONNECTION ?COMP1 ?COMP2)))
Agar group is an instance of samUha aur memb is a member of group, to memb is an instance of kartaa.
(=>
(and
(instance ?GROUP Group)
(member ?MEMB ?GROUP))
(instance ?MEMB Agent))
- agar group is an instance of aayu samUha,
- to sab-kuch memb1,memb2,age1,age2 ke lie hai, ki: agar memb1 is a member of group aur memb2 is a member of group aur the age of memb1 is age1 aur the age of memb2 is age2, to age1 is equal to age2
.
(=>
(instance ?GROUP AgeGroup)
(forall
(?MEMB1 ?MEMB2 ?AGE1 ?AGE2)
(=>
(and
(member ?MEMB1 ?GROUP)
(member ?MEMB2 ?GROUP)
(age ?MEMB1 ?AGE1)
(age ?MEMB2 ?AGE2))
(equal ?AGE1 ?AGE2))))
(=>
(instance ?GROUP FamilyGroup)
(forall
(?MEMB1 ?MEMB2)
(=>
(and
(member ?MEMB1 ?GROUP)
(member ?MEMB2 ?GROUP))
(familyRelation ?MEMB1 ?MEMB2))))
Agar organism1 and organism2 are related, to yah kuch organism3 nahin, ki organism3 and organism1 are related aur organism3 and organism2 are related.
(=>
(familyRelation ?ORGANISM1 ?ORGANISM2)
(exists
(?ORGANISM3)
(and
(familyRelation ?ORGANISM3 ?ORGANISM1)
(familyRelation ?ORGANISM3 ?ORGANISM2))))
Agar "the legal organizational entity of unit" is equal to org aur attr is an instance of niyaamaka visheshataa, to attr is an attribute of unit agar hai attr is an attribute of org.
(=>
(and
(equal
(OrganizationFn ?UNIT)
?ORG)
(instance ?ATTR NormativeAttribute))
(<=>
(attribute ?UNIT ?ATTR)
(attribute ?ORG ?ATTR)))
Agar org employs person, to person is a member of org.
(=>
(employs ?ORG ?PERSON)
(member ?PERSON ?ORG))
Agar pol is an instance of raajanItika sansthaa, to yah kuch raajanaitika prakriyaa proc nahin, ki proc pol kaa kaaran hai.
(=>
(instance ?POL PoliticalOrganization)
(exists
(?PROC)
(and
(instance ?PROC PoliticalProcess)
(agent ?PROC ?POL))))
Agar plan is an instance of yojanaa aur obj is an instance of tatva-vaahaka padaartha aur obj contains information plan, to yah kuch planning nahin, ki obj is a result of planning.
(=>
(and
(instance ?PLAN Plan)
(instance ?OBJ ContentBearingObject)
(containsInformation ?OBJ ?PLAN))
(exists
(?PLANNING)
(and
(instance ?PLANNING Planning)
(result ?PLANNING ?OBJ))))
Agar plan is an instance of yojanaa, to yah kuch purp nahin, ki plan has purpose purp.
(=>
(instance ?PLAN Plan)
(exists
(?PURP)
(hasPurpose ?PLAN ?PURP)))
Agar obj1 is attr1 to obj2 aur is opposed to ? aur attr1 is a member of "()" aur attr2 is a member of "()" aur attr1 is not equal to attr2, to obj1 is not attr2 to obj2.
(=>
(and
(orientation ?OBJ1 ?OBJ2 ?ATTR1)
(contraryAttribute @ROW)
(inList
?ATTR1
(ListFn @ROW))
(inList
?ATTR2
(ListFn @ROW))
(not
(equal ?ATTR1 ?ATTR2)))
(not
(orientation ?OBJ1 ?OBJ2 ?ATTR2)))
- agar entities in the process proc are moving attr1 during time,
- to sab-kuch attr2 ke lie hai, ki: agar entities in the process proc are moving attr2 during time, to attr2 is equal to attr1
.
(=>
(holdsDuring
?TIME
(direction ?PROC ?ATTR1))
(forall
(?ATTR2)
(=>
(holdsDuring
?TIME
(direction ?PROC ?ATTR2))
(equal ?ATTR2 ?ATTR1))))
- agar proc faces attr1 during time,
- to sab-kuch attr2 ke lie hai, ki: agar proc faces attr2 during time, to attr2 is equal to attr1
.
(=>
(holdsDuring
?TIME
(faces ?PROC ?ATTR1))
(forall
(?ATTR2)
(=>
(holdsDuring
?TIME
(faces ?PROC ?ATTR2))
(equal ?ATTR2 ?ATTR1))))
Agar item has an attribute value aur value is an instance of yathaartha mulya, to item is an instance of vaakya yaa item is an instance of prastaava.
(=>
(and
(property ?ITEM ?VALUE)
(instance ?VALUE TruthValue))
(or
(instance ?ITEM Sentence)
(instance ?ITEM Proposition)))
Agar formula has an attribute likely, to "the probability of "formula is true"" is greater than "the probability of "formula is false"".
(=>
(property ?FORMULA Likely)
(greaterThan
(ProbabilityFn
(true ?FORMULA True))
(ProbabilityFn
(true ?FORMULA False))))
Agar formula has an attribute unlikely, to "the probability of "formula is false"" is greater than "the probability of "formula is true"".
(=>
(property ?FORMULA Unlikely)
(greaterThan
(ProbabilityFn
(true ?FORMULA False))
(ProbabilityFn
(true ?FORMULA True))))
Agar obj1 is attr1 to obj2 aur attr1 is an instance of dishaatmaka visheshataa aur attr2 is an instance of dishaatmaka visheshataa aur attr1 is not equal to attr2, to obj1 is not attr2 to obj2.
(=>
(and
(orientation ?OBJ1 ?OBJ2 ?ATTR1)
(instance ?ATTR1 DirectionalAttribute)
(instance ?ATTR2 DirectionalAttribute)
(not
(equal ?ATTR1 ?ATTR2)))
(not
(orientation ?OBJ1 ?OBJ2 ?ATTR2)))
Agar direct is an instance of dishaatmaka visheshataa aur obj1 is direct to obj2 aur obj2 is direct to obj3, to obj1 aur obj33 ke biich main obj2 hai.
(=>
(and
(instance ?DIRECT DirectionalAttribute)
(orientation ?OBJ1 ?OBJ2 ?DIRECT)
(orientation ?OBJ2 ?OBJ3 ?DIRECT))
(between ?OBJ1 ?OBJ2 ?OBJ33))
Agar obj1 is above to obj2, to obj1 is not connected to obj2.
(=>
(orientation ?OBJ1 ?OBJ2 Above)
(not
(connected ?OBJ1 ?OBJ2)))
Agar obj1 is below to obj2, to obj2 is on to obj1 yaa obj2 is above to obj1.
(=>
(orientation ?OBJ1 ?OBJ2 Below)
(or
(orientation ?OBJ2 ?OBJ1 On)
(orientation ?OBJ2 ?OBJ1 Above)))
Agar obj1 is adjacent to obj2, to obj1 is near to obj2 yaa obj1 is connected to obj2.
(=>
(orientation ?OBJ1 ?OBJ2 Adjacent)
(or
(orientation ?OBJ1 ?OBJ2 Near)
(connected ?OBJ1 ?OBJ2)))
Agar obj1 is near to obj2, to obj1 is not connected to obj2.
(=>
(orientation ?OBJ1 ?OBJ2 Near)
(not
(connected ?OBJ1 ?OBJ2)))
Agar obj1 is near to obj2, to obj2 is near to obj1.
(=>
(orientation ?OBJ1 ?OBJ2 Near)
(orientation ?OBJ2 ?OBJ1 Near))
Agar obj1 is on to obj2, to obj1 is connected to obj2.
(=>
(orientation ?OBJ1 ?OBJ2 On)
(connected ?OBJ1 ?OBJ2))
Agar obj1 is on to obj2, to obj1 is located at obj2.
(=>
(orientation ?OBJ1 ?OBJ2 On)
(located ?OBJ1 ?OBJ2))
Agar obj1 is on to obj2, to obj2 is not on to obj1.
(=>
(orientation ?OBJ1 ?OBJ2 On)
(not
(orientation ?OBJ2 ?OBJ1 On)))
Agar "relative time fn(time1,pacific time zone)" is equal to time2, to time2 is equal to "(time1+)".
(=>
(equal
(RelativeTimeFn ?TIME1 PacificTimeZone)
?TIME2)
(equal
?TIME2
(AdditionFn ?TIME1 8)))
Agar "relative time fn(time1,mountain time zone)" is equal to time2, to time2 is equal to "(time1+)".
(=>
(equal
(RelativeTimeFn ?TIME1 MountainTimeZone)
?TIME2)
(equal
?TIME2
(AdditionFn ?TIME1 7)))
Agar "relative time fn(time1,central time zone)" is equal to time2, to time2 is equal to "(time1+)".
(=>
(equal
(RelativeTimeFn ?TIME1 CentralTimeZone)
?TIME2)
(equal
?TIME2
(AdditionFn ?TIME1 6)))
Agar "relative time fn(time1,eastern time zone)" is equal to time2, to time2 is equal to "(time1+)".
(=>
(equal
(RelativeTimeFn ?TIME1 EasternTimeZone)
?TIME2)
(equal
?TIME2
(AdditionFn ?TIME1 5)))
Agar attribute is an attribute of person aur attribute is an instance of saamaajika bhUmikaa, to person is an instance of maanava.
(=>
(and
(attribute ?PERSON ?ATTRIBUTE)
(instance ?ATTRIBUTE SocialRole))
(instance ?PERSON Human))
Agar org employs person, to yah kuch position nahin, ki person holds the position of position in org.
(=>
(employs ?ORG ?PERSON)
(exists
(?POSITION)
(occupiesPosition ?PERSON ?POSITION ?ORG)))
Agar the statement formula1 has the model force of prop aur formula1 entails formula2, to the statement formula2 has the model force of prop.
(=>
(and
(modalAttribute ?FORMULA1 ?PROP)
(entails ?FORMULA1 ?FORMULA2))
(modalAttribute ?FORMULA2 ?PROP))
Agar agent is obliged to perform tasks of type process, to the statement "yah kuch process instance nahin, ki instance agent kaa kaaran hai" has the model force of obligation.
(=>
(holdsObligation ?PROCESS ?AGENT)
(modalAttribute
(exists
(?INSTANCE)
(and
(instance ?INSTANCE ?PROCESS)
(agent ?INSTANCE ?AGENT)))
Obligation))
Agar agent has the right to perform process, to the statement "yah kuch process instance nahin, ki instance agent kaa kaaran hai" has the model force of permission.
(=>
(holdsRight ?PROCESS ?AGENT)
(modalAttribute
(exists
(?INSTANCE)
(and
(instance ?INSTANCE ?PROCESS)
(agent ?INSTANCE ?AGENT)))
Permission))
Agar attr is an attribute of obj aur attr is an instance of pratiyogitaa visheshataa, to yah kuch pratiyogitaa contest nahin, ki contest obj kaa kaaran hai yaa obj is a patient of contest.
(=>
(and
(attribute ?OBJ ?ATTR)
(instance ?ATTR ContestAttribute))
(exists
(?CONTEST)
(and
(instance ?CONTEST Contest)
(or
(agent ?CONTEST ?OBJ)
(patient ?CONTEST ?OBJ)))))
Agar the statement formula has the model force of necessity, to the statement formula has the model force of possibility.
(=>
(modalAttribute ?FORMULA Necessity)
(modalAttribute ?FORMULA Possibility))
Agar the statement formula has the model force of obligation, to the statement formula has the model force of permission.
(=>
(modalAttribute ?FORMULA Obligation)
(modalAttribute ?FORMULA Permission))
Agar entity has an attribute promise, to entity has an attribute contract yaa entity has an attribute naked promise.
(=>
(property ?ENTITY Promise)
(or
(property ?ENTITY Contract)
(property ?ENTITY NakedPromise)))
Agar obj is an instance of ghola, to liquid is an attribute of obj.
(=>
(instance ?OBJ Solution)
(attribute ?OBJ Liquid))
Agar perception is an instance of gyaana aur obj is a patient of perception, to yah kuch pratyakshaparaka visheshataa prop nahin, ki prop is an attribute of obj.
(=>
(and
(instance ?PERCEPTION Perception)
(patient ?PERCEPTION ?OBJ))
(exists
(?PROP)
(and
(instance ?PROP PerceptualAttribute)
(attribute ?OBJ ?PROP))))
Agar obj is an instance of aahaara, to yah kuch svaada visheshataa attr nahin, ki attr is an attribute of obj.
(=>
(instance ?OBJ Food)
(exists
(?ATTR)
(and
(instance ?ATTR TasteAttribute)
(attribute ?OBJ ?ATTR))))
(=>
(and
(attribute ?OBJ Monochromatic)
(superficialPart ?PART ?OBJ)
(attribute ?PART ?COLOR)
(instance ?COLOR PrimaryColor))
(forall
(?ELEMENT)
(=>
(superficialPart ?ELEMENT ?OBJ)
(attribute ?ELEMENT ?COLOR))))
Agar obj is an instance of object, to monochromatic is an attribute of obj yaa polychromatic is an attribute of obj.
(=>
(instance ?OBJ Object)
(or
(attribute ?OBJ Monochromatic)
(attribute ?OBJ Polychromatic)))
Agar polychromatic is an attribute of obj, to yah kuch part1,part2,varNa visheshataa color1,varNa visheshataa color2 nahin, ki part1 is a superficial part of obj aur part2 is a superficial part of obj aur color1 is an attribute of part1 aur color2 is an attribute of part2 aur color1 is not equal to color2.
(=>
(attribute ?OBJ Polychromatic)
(exists
(?PART1 ?PART2 ?COLOR1 ?COLOR2)
(and
(superficialPart ?PART1 ?OBJ)
(superficialPart ?PART2 ?OBJ)
(attribute ?PART1 ?COLOR1)
(attribute ?PART2 ?COLOR2)
(instance ?COLOR1 ColorAttribute)
(instance ?COLOR2 ColorAttribute)
(not
(equal ?COLOR1 ?COLOR2)))))
Agar yah kuch aakaara parivartana change nahin, ki obj is a patient of change, to pliable is an attribute of obj.
(=>
(exists
(?CHANGE)
(and
(instance ?CHANGE ShapeChange)
(patient ?CHANGE ?OBJ)))
(attribute ?OBJ Pliable))
Agar obj is an instance of aatmasambaddha vastu, to pliable is an attribute of obj yaa rigid is an attribute of obj.
(=>
(instance ?OBJ SelfConnectedObject)
(or
(attribute ?OBJ Pliable)
(attribute ?OBJ Rigid)))
Agar attribute is an instance of sanrachanaa visheshataa aur attribute is an attribute of obj aur surface obj kaa satah hai, to attribute is an attribute of surface.
(=>
(and
(instance ?ATTRIBUTE TextureAttribute)
(attribute ?OBJ ?ATTRIBUTE)
(surface ?SURFACE ?OBJ))
(attribute ?SURFACE ?ATTRIBUTE))
Agar dry is an attribute of obj, to yah kuch subobj nahin, ki subobj is a part of obj aur liquid is an attribute of subobj.
(=>
(attribute ?OBJ Dry)
(not
(exists
(?SUBOBJ)
(and
(part ?SUBOBJ ?OBJ)
(attribute ?SUBOBJ Liquid)))))
- agar wet is an attribute of obj,
- to sab-kuch part ke lie hai, ki: agar part is a part of obj, to yah kuch subpart nahin, ki subpart is a part of part aur liquid is an attribute of subpart
.
(=>
(attribute ?OBJ Wet)
(forall
(?PART)
(=>
(part ?PART ?OBJ)
(exists
(?SUBPART)
(and
(part ?SUBPART ?PART)
(attribute ?SUBPART Liquid))))))
Agar unbreakable is an attribute of obj, to yah kuch kshati damage nahin, ki obj is a patient of damage.
(=>
(attribute ?OBJ Unbreakable)
(not
(exists
(?DAMAGE)
(and
(instance ?DAMAGE Damaging)
(patient ?DAMAGE ?OBJ)))))
Agar att is an attribute of org aur att is an instance of jEvika visheshataa, to org is an instance of jIvadhaarI padaartha.
(=>
(and
(attribute ?ORG ?ATT)
(instance ?ATT BiologicalAttribute))
(instance ?ORG Organism))
Agar organism is an instance of jIvadhaarI padaartha aur process organism kaa kaaran hai, to living is an attribute of organism the time of existence of process.
(=>
(and
(instance ?ORGANISM Organism)
(agent ?PROCESS ?ORGANISM))
(holdsDuring
(WhenFn ?PROCESS)
(attribute ?ORGANISM Living)))
Agar org is an instance of jIvadhaarI padaartha, to yah kuch attr nahin, ki attr is an attribute of org.
(=>
(instance ?ORG Organism)
(exists
(?ATTR)
(and
(instance ?ATTR AnimacyAttribute)
(attribute ?ORG ?ATTR))))
Agar body is an instance of janana sharIra aur body is a part of org aur org is an instance of jIvadhaarI padaartha, to female is an attribute of org.
(=>
(and
(instance ?BODY ReproductiveBody)
(part ?BODY ?ORG)
(instance ?ORG Organism))
(attribute ?ORG Female))
Agar animal is an instance of pashu, to yah kuch linga visheshataa attr nahin, ki attr is an attribute of animal.
(=>
(instance ?ANIMAL Animal)
(exists
(?ATTR)
(and
(instance ?ATTR SexAttribute)
(attribute ?ANIMAL ?ATTR))))
Agar fully formed is an attribute of obj, to yah kuch vriddhi growth nahin, ki obj experiences growth aur non fully formed is an attribute of obj the beginning of "the time of existence of obj".
(=>
(attribute ?OBJ FullyFormed)
(exists
(?GROWTH)
(and
(instance ?GROWTH Growth)
(experiencer ?GROWTH ?OBJ)
(holdsDuring
(BeginFn
(WhenFn ?OBJ))
(attribute ?OBJ NonFullyFormed)))))
Agar org is an instance of jIvadhaarI padaartha, to yah kuch vikaasaatmaka visheshataa attr nahin, ki attr is an attribute of org.
(=>
(instance ?ORG Organism)
(exists
(?ATTR)
(and
(instance ?ATTR DevelopmentalAttribute)
(attribute ?ORG ?ATTR))))
Agar larval is an attribute of org during time, to yah kuch janma birth nahin, ki org experiences birth before time.
(=>
(holdsDuring
?TIME
(attribute ?ORG Larval))
(holdsDuring
(PastFn ?TIME)
(exists
(?BIRTH)
(and
(instance ?BIRTH Birth)
(experiencer ?BIRTH ?ORG)))))
Agar embryonic is an attribute of org, to yah kuch janana sharIra body nahin, ki org is located at body.
(=>
(attribute ?ORG Embryonic)
(exists
(?BODY)
(and
(instance ?BODY ReproductiveBody)
(located ?ORG ?BODY))))
Agar embryonic is an attribute of org during time, to yah kuch janma birth nahin, ki org experiences birth during time.
(=>
(holdsDuring
?TIME
(attribute ?ORG Embryonic))
(holdsDuring
?TIME
(not
(exists
(?BIRTH)
(and
(instance ?BIRTH Birth)
(experiencer ?BIRTH ?ORG))))))
(=>
(instance ?ATTR PsychologicalAttribute)
(=>
(holdsDuring
?TIME
(attribute ?ORGANISM ?ATTR))
(holdsDuring
?TIME
(attribute ?ORGANISM Living))))
Agar attr is an instance of manovEgyaanika visheshataa aur attr is an attribute of agent, to agent is an instance of sachetana kartaa.
(=>
(and
(instance ?ATTR PsychologicalAttribute)
(attribute ?AGENT ?ATTR))
(instance ?AGENT SentientAgent))
Agar class1 is an instance of samUha yaa varga aur class2 is an instance of samUha yaa varga, to "the difference between class1 and class2" is equal to "the union of class1 and "the complement of class2"".
(=>
(and
(instance ?CLASS1 SetOrClass)
(instance ?CLASS2 SetOrClass))
(equal
(RelativeComplementFn ?CLASS1 ?CLASS2)
(IntersectionFn
?CLASS1
(ComplementFn ?CLASS2))))
entity is an instance of "the intersection of all the elements of superclass" agar hai sab-kuch class ke lie hai, ki: agar class is an instance of superclass, to entity is an instance of class.
(<=>
(instance
?ENTITY
(GeneralizedIntersectionFn ?SUPERCLASS))
(forall
(?CLASS)
(=>
(instance ?CLASS ?SUPERCLASS)
(instance ?ENTITY ?CLASS))))
