exists (exists)
The existential quantifier of predicate logic.
Ontology
SUMO / STRUCTURAL-ONTOLOGYClass(es)
Coordinate term(s)
<=>
=>
and
entails
forall
not
or
Type restrictions
exists(sUchI, sUtra)
Related WordNet synsets
- being, beingness, existence
- the state or fact of existing: "a point of view gradually coming into being"; "laws in existence for centuries"
- reality, realness, realism
- the state of being actual or real: "the reality of his situation slowly dawned on him"
- actuality
- the state of actually existing objectively: "a hope that progressed from possibility to actuality"
- subsistence
- the state of existing in reality; having substance
- exist, be
- have an existence, be extant; "Is there a God?"
See more related synsets on a separate page.
Axioms (290)
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 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 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))))))
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)))))
Yah kuch thing nahin, ki thing is an instance of astitva.
(exists
(?THING)
(instance ?THING Entity))
phys is an instance of bhOtika vaswu agar hai yah kuch loc,time nahin, ki phys is located at loc aur phys exists during time.
(<=>
(instance ?PHYS Physical)
(exists
(?LOC ?TIME)
(and
(located ?PHYS ?LOC)
(time ?PHYS ?TIME))))
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))))
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)))
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 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))))
agent is an instance of kartaa agar hai yah kuch proc nahin, ki proc agent kaa kaaran hai.
(<=>
(instance ?AGENT Agent)
(exists
(?PROC)
(agent ?PROC ?AGENT)))
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)))))
abs is an instance of amUrta agar hai yah kuch point nahin, ki abs is located at point yaa abs exists during point.
(<=>
(instance ?ABS Abstract)
(not
(exists
(?POINT)
(or
(located ?ABS ?POINT)
(time ?ABS ?POINT)))))
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)))))))
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))))
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 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 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 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 equal to null list agar hai yah kuch item nahin, ki item is a member of list.
(<=>
(equal ?LIST NullList)
(not
(exists
(?ITEM)
(inList ?ITEM ?LIST))))
- 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 "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 "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))))
item is a member of list agar hai yah kuch number nahin, ki "numberth element of list" is equal to item.
(<=>
(inList ?ITEM ?LIST)
(exists
(?NUMBER)
(equal
(ListOrderFn ?LIST ?NUMBER)
?ITEM)))
- 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 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))))
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 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 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 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 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 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))))))
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))))
express is expressed in language language agar hai yah kuch prop nahin, ki express represents prop in the language language.
(<=>
(expressedInLanguage ?EXPRESS ?LANGUAGE)
(exists
(?PROP)
(representsInLanguage ?EXPRESS ?PROP ?LANGUAGE)))
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 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 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)))))))
Yah kuch element nahin, ki element is an element of null set.
(not
(exists
(?ELEMENT)
(element ?ELEMENT NullSet)))
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 ?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)))))))
graph is an instance of aalekha paripatha agar hai yah kuch node nahin, ki "the beginning of graph" is equal to node aur "the end of graph" is equal to node.
(<=>
(instance ?GRAPH GraphCircuit)
(exists
(?NODE)
(and
(equal
(BeginNodeFn ?GRAPH)
?NODE)
(equal
(EndNodeFn ?GRAPH)
?NODE))))
graph is an instance of bahu aalekha agar hai yah kuch arc1,arc2,node1,node2 nahin, ki arc1 is a part of graph aur arc2 is a part of graph aur node1 is a part of graph aur node2 is a part of graph aur arc1 links node1 and node2 aur arc2 links node1 and node2 aur arc1 is not equal to arc2.
(<=>
(instance ?GRAPH MultiGraph)
(exists
(?ARC1 ?ARC2 ?NODE1 ?NODE2)
(and
(graphPart ?ARC1 ?GRAPH)
(graphPart ?ARC2 ?GRAPH)
(graphPart ?NODE1 ?GRAPH)
(graphPart ?NODE2 ?GRAPH)
(links ?NODE1 ?NODE2 ?ARC1)
(links ?NODE1 ?NODE2 ?ARC2)
(not
(equal ?ARC1 ?ARC2)))))
graph is an instance of aabhaasii aalekha agar hai yah kuch aalekha paasha loop nahin, ki loop is a part of graph.
(<=>
(instance ?GRAPH PseudoGraph)
(exists
(?LOOP)
(and
(instance ?LOOP GraphLoop)
(graphPart ?LOOP ?GRAPH))))
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)))
loop is an instance of aalekha paasha agar hai yah kuch node nahin, ki loop links node and node.
(<=>
(instance ?LOOP GraphLoop)
(exists
(?NODE)
(links ?NODE ?NODE ?LOOP)))
- 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)))))
Yah kuch the set of paths that partition graph into two separate graphs path1,the set of minimal paths that partition graph into two separate graphs path2 nahin, ki the length of path1 is number1 aur the length of path2 is number2 aur number1 is less than number2.
(not
(exists
(?PATH1 ?PATH2)
(and
(instance
?PATH1
(CutSetFn ?GRAPH))
(instance
?PATH2
(MinimalCutSetFn ?GRAPH))
(pathLength ?PATH1 ?NUMBER1)
(pathLength ?PATH2 ?NUMBER2)
(lessThan ?NUMBER1 ?NUMBER2))))
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 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))))
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 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))))
(=>
(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))))))
interval2 overlaps interval1 agar hai yah kuch samaya aMtaraala interval3 nahin, ki interval3 is a part of interval1 aur interval3 is a part of interval2.
(<=>
(overlapsTemporally ?INTERVAL1 ?INTERVAL2)
(exists
(?INTERVAL3)
(and
(instance ?INTERVAL3 TimeInterval)
(temporalPart ?INTERVAL3 ?INTERVAL1)
(temporalPart ?INTERVAL3 ?INTERVAL2))))
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 "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 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))))))
obj1 overlaps with obj2 agar hai yah kuch obj3 nahin, ki obj3 is a part of obj1 aur obj3 is a part of obj2.
(<=>
(overlapsSpatially ?OBJ1 ?OBJ2)
(exists
(?OBJ3)
(and
(part ?OBJ3 ?OBJ1)
(part ?OBJ3 ?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)))
obj1 partially overlaps with obj2 agar hai - obj1 is not a part of obj2
aur - obj2 is not a part of obj1
aur - yah kuch obj3 nahin, ki obj3 is a part of obj1 aur obj3 is a part of obj2
.
(<=>
(overlapsPartially ?OBJ1 ?OBJ2)
(and
(not
(part ?OBJ1 ?OBJ2))
(not
(part ?OBJ2 ?OBJ1))
(exists
(?OBJ3)
(and
(part ?OBJ3 ?OBJ1)
(part ?OBJ3 ?OBJ2)))))
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 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)))
The width of object is width agar hai yah kuch side1,side2 nahin, ki a side of object is side1 aur a side of object is side2 aur the distance between side1 and side2 is width.
(<=>
(width ?OBJECT ?WIDTH)
(exists
(?SIDE1 ?SIDE2)
(and
(side ?SIDE1 ?OBJECT)
(side ?SIDE2 ?OBJECT)
(distance ?SIDE1 ?SIDE2 ?WIDTH))))
hole is an instance of antaraala agar hai yah kuch obj nahin, ki hole obj men chidra hai.
(<=>
(instance ?HOLE Hole)
(exists
(?OBJ)
(hole ?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 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 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))
fillable is an attribute of hole1 agar hai yah kuch antaraala hole2 nahin, ki hole1 is a part of hole2.
(<=>
(attribute ?HOLE1 Fillable)
(exists
(?HOLE2)
(and
(instance ?HOLE2 Hole)
(part ?HOLE1 ?HOLE2))))
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 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 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 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 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 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, 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 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
- 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 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 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 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 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)))))
Yah kuch rina aadaana borrow nahin, ki borrow agent1 kaa kaaran hai aur borrow origins at agent2 aur object is a patient of borrow agar hai yah kuch aapurti lend nahin, ki lend agent2 kaa kaaran hai aur lend ends at agent1 aur object is a patient of lend.
(<=>
(exists
(?BORROW)
(and
(instance ?BORROW Borrowing)
(agent ?BORROW ?AGENT1)
(origin ?BORROW ?AGENT2)
(patient ?BORROW ?OBJECT)))
(exists
(?LEND)
(and
(instance ?LEND Lending)
(agent ?LEND ?AGENT2)
(destination ?LEND ?AGENT1)
(patient ?LEND ?OBJECT))))
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))))
Yah kuch kraya buy nahin, ki buy agent1 kaa kaaran hai aur buy origins at agent2 aur object is a patient of buy agar hai yah kuch vikraya sell nahin, ki sell agent2 kaa kaaran hai aur sell ends at agent1 aur object is a patient of sell.
(<=>
(exists
(?BUY)
(and
(instance ?BUY Buying)
(agent ?BUY ?AGENT1)
(origin ?BUY ?AGENT2)
(patient ?BUY ?OBJECT)))
(exists
(?SELL)
(and
(instance ?SELL Selling)
(agent ?SELL ?AGENT2)
(destination ?SELL ?AGENT1)
(patient ?SELL ?OBJECT))))
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 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 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))))
process is an instance of vinaasha agar hai yah kuch patient nahin, ki patient is a patient of process aur patient exists during "immediately before "the time of existence of process"" aur patient doesn't exist during "immediately after "the time of existence of process"".
(<=>
(instance ?PROCESS Destruction)
(exists
(?PATIENT)
(and
(patient ?PROCESS ?PATIENT)
(time
?PATIENT
(ImmediatePastFn
(WhenFn ?PROCESS)))
(not
(time
?PATIENT
(ImmediateFutureFn
(WhenFn ?PROCESS)))))))
compound is an instance of yOgika padaartha agar hai yah kuch avayavI padaartha element1,avayavI padaartha element2,raasaayanika sanyojana process nahin, ki element1 is not equal to element2 aur element1 is a resource for process aur element2 is a resource for process aur compound is a result of process.
(<=>
(instance ?COMPOUND CompoundSubstance)
(exists
(?ELEMENT1 ?ELEMENT2 ?PROCESS)
(and
(instance ?ELEMENT1 ElementalSubstance)
(instance ?ELEMENT2 ElementalSubstance)
(not
(equal ?ELEMENT1 ?ELEMENT2))
(instance ?PROCESS ChemicalSynthesis)
(resource ?PROCESS ?ELEMENT1)
(resource ?PROCESS ?ELEMENT2)
(result ?PROCESS ?COMPOUND))))
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, 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 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)))
process is an instance of srijana agar hai yah kuch patient nahin, ki patient is a patient of process aur patient exists during "immediately after "the time of existence of process"" aur patient doesn't exist during "immediately before "the time of existence of process"".
(<=>
(instance ?PROCESS Creation)
(exists
(?PATIENT)
(and
(patient ?PROCESS ?PATIENT)
(time
?PATIENT
(ImmediateFutureFn
(WhenFn ?PROCESS)))
(not
(time
?PATIENT
(ImmediatePastFn
(WhenFn ?PROCESS)))))))
Yah kuch nirmaana build nahin, ki artifact is a result of build agar hai artifact is an instance of lekhana saamagrI.
(<=>
(exists
(?BUILD)
(and
(instance ?BUILD Constructing)
(result ?BUILD ?ARTIFACT)))
(instance ?ARTIFACT StationaryArtifact))
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 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 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, 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))))
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 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))))
Yah kuch vikiranakaarii prakaasha emit nahin, ki region is a patient of emit aur region is an instance of kshetra agar hai illuminated is an attribute of region.
(<=>
(exists
(?EMIT)
(and
(instance ?EMIT RadiatingLight)
(patient ?EMIT ?REGION)
(instance ?REGION Region)))
(attribute ?REGION Illuminated))
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 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)))
animal1 is a sibling of animal2 agar hai yah kuch father,mother nahin, ki father is a father of animal1 aur father is a father of animal2 aur mother is a mother of animal1 aur mother is a mother of animal2.
(<=>
(sibling ?ANIMAL1 ?ANIMAL2)
(exists
(?FATHER ?MOTHER)
(and
(father ?ANIMAL1 ?FATHER)
(father ?ANIMAL2 ?FATHER)
(mother ?ANIMAL1 ?MOTHER)
(mother ?ANIMAL2 ?MOTHER))))
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))))
(=>
(instance ?BACTERIUM Bacterium)
(exists
(?CELL1)
(and
(component ?CELL1 ?BACTERIUM)
(instance ?CELL1 Cell)
(forall
(?CELL2)
(=>
(and
(component ?CELL2 ?BACTERIUM)
(instance ?CELL2 Cell))
(equal ?CELL1 ?CELL2))))))
(=>
(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 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 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))))
org publishes text agar hai yah kuch prakaashana pub nahin, ki pub org kaa kaaran hai aur text is a patient of pub.
(<=>
(publishes ?ORG ?TEXT)
(exists
(?PUB)
(and
(instance ?PUB Publication)
(agent ?PUB ?ORG)
(patient ?PUB ?TEXT))))
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)))))
artifact is an instance of shilpakriti agar hai yah kuch rachanaa making nahin, ki artifact is a result of making.
(<=>
(instance ?ARTIFACT Artifact)
(exists
(?MAKING)
(and
(instance ?MAKING Making)
(result ?MAKING ?ARTIFACT))))
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 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 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))))
comp1 is connected to comp2 agar hai yah kuch connection nahin, ki connection connects comp1 and comp2.
(<=>
(connectedEngineeringComponents ?COMP1 ?COMP2)
(exists
(?CONNECTION)
(connectsEngineeringComponents ?CONNECTION ?COMP1 ?COMP2)))
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 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 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 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 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)))))
obj is an instance of padaartha agar hai yah kuch bhOtika avasthaa attr nahin, ki attr is an attribute of obj.
(<=>
(instance ?OBJ Substance)
(exists
(?ATTR)
(and
(instance ?ATTR PhysicalState)
(attribute ?OBJ ?ATTR))))
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))))
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 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 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 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))))))
agent is an instance of sachetana kartaa aur living is an attribute of agent agar hai yah kuch chetanaa visheshataa attr nahin, ki attr is an attribute of agent.
(<=>
(and
(instance ?AGENT SentientAgent)
(attribute ?AGENT Living))
(exists
(?ATTR)
(and
(instance ?ATTR ConsciousnessAttribute)
(attribute ?AGENT ?ATTR))))
entity is an instance of "the union of all the elements of superclass" agar hai yah kuch superclass class nahin, ki entity is an instance of class.
(<=>
(instance
?ENTITY
(GeneralizedUnionFn ?SUPERCLASS))
(exists
(?CLASS)
(and
(instance ?CLASS ?SUPERCLASS)
(instance ?ENTITY ?CLASS))))
