ruo4 qie3 wei2 ruo4 (<=>)
The truth-functional connective of bi-implication.
Ontology
SUMO / STRUCTURAL-ONTOLOGYClass(es)
Coordinate term(s)
ruo4
he2
tui1 zhi1
cun2 zai4
suo3 you3
fei1
huo4
Type restrictions
<=>(SUO-KIFbiao3 shu4 shi4, SUO-KIFbiao3 shu4 shi4)
Axioms (101)
If rel1 shi4 rel2 de5 dao4 xu4, then for all inst1,inst2 holds: rel1(inst1,inst2) (bu2) cheng2 li4s if and only if rel2(inst2,inst1) (bu2) cheng2 li4s.
(=>
(inverse ?REL1 ?REL2)
(forall
(?INST1 ?INST2)
(<=>
(holds ?REL1 ?INST1 ?INST2)
(holds ?REL2 ?INST2 ?INST1))))
subclass shi4 class de5 ci4 zhong3 lei4 if and only if
(<=>
(subclass ?SUBCLASS ?CLASS)
(and
(instance ?SUBCLASS SetOrClass)
(instance ?CLASS SetOrClass)
(forall
(?INST)
(=>
(instance ?INST ?SUBCLASS)
(instance ?INST ?CLASS)))))
If thing1 deng3 yu1 thing2, then for all attr holds: thing1 you3 shu3 xing4 attr if and only if thing2 you3 shu3 xing4 attr.
(=>
(equal ?THING1 ?THING2)
(forall
(?ATTR)
(<=>
(property ?THING1 ?ATTR)
(property ?THING2 ?ATTR))))
If attr1 deng3 yu1 attr2, then for all thing holds: thing you3 shu3 xing4 attr1 if and only if thing you3 shu3 xing4 attr2.
(=>
(equal ?ATTR1 ?ATTR2)
(forall
(?THING)
(<=>
(property ?THING ?ATTR1)
(property ?THING ?ATTR2))))
If thing1 deng3 yu1 thing2, then for all class holds: thing1 shi4 class de5 shi2 li4 if and only if thing2 shi4 class de5 shi2 li4.
(=>
(equal ?THING1 ?THING2)
(forall
(?CLASS)
(<=>
(instance ?THING1 ?CLASS)
(instance ?THING2 ?CLASS))))
If class1 deng3 yu1 class2, then for all thing holds: thing shi4 class1 de5 shi2 li4 if and only if thing shi4 class2 de5 shi2 li4.
(=>
(equal ?CLASS1 ?CLASS2)
(forall
(?THING)
(<=>
(instance ?THING ?CLASS1)
(instance ?THING ?CLASS2))))
If rel1 deng3 yu1 rel2, then for all holds: rel1() (bu2) cheng2 li4s if and only if rel2() (bu2) cheng2 li4s.
(=>
(equal ?REL1 ?REL2)
(forall
(@ROW)
(<=>
(holds ?REL1 @ROW)
(holds ?REL2 @ROW))))
- if obj1 deng3 yu1 obj2,
- then if obj1 deng3 yu1 ""()" de5 di4 er4 yuan2 su4" and obj2 deng3 yu1 ""()" de5 di4 er4 yuan2 su4" and "()" deng3 yu1 "()", then () (bu2) cheng2 li4s if and only if () (bu2) cheng2 li4s
.
(=>
(equal ?OBJ1 ?OBJ2)
(=>
(and
(equal
?OBJ1
(ListOrderFn
(ListFn @ROW1)
?NUMBER))
(equal
?OBJ2
(ListOrderFn
(ListFn @ROW2)
?NUMBER))
(equal
(ListFn @ROW1)
(ListFn @ROW2)))
(<=>
(holds @ROW1)
(holds @ROW2))))
class1 wu2 jiao1 ji2 yu1 class2 if and only if
(<=>
(disjoint ?CLASS1 ?CLASS2)
(and
(instance ?CLASS1 SetOrClass)
(instance ?CLASS2 SetOrClass)
(forall
(?INST)
(not
(and
(instance ?INST ?CLASS1)
(instance ?INST ?CLASS2))))))
wan2 quan2 fen1 ge1 cheng2 if and only if bei4 bao1 han2 and wu2 jiao1 ji2 di4 fen1 jie3 cheng2 .
(<=>
(partition @ROW)
(and
(exhaustiveDecomposition @ROW)
(disjointDecomposition @ROW)))
phys shi4 wu4 zhi4 de5 de5 shi2 li4 if and only if there exist loc,time so_that_not phys wei4 yu1 loc and phys (bu2) cun2 zai4s time qi1 jian1.
(<=>
(instance ?PHYS Physical)
(exists
(?LOC ?TIME)
(and
(located ?PHYS ?LOC)
(time ?PHYS ?TIME))))
obj1 shi4 obj2 de5 zheng4 bu4 fen5 if and only if obj1 shi4 obj2 de5 bu4 fen5) and obj2 shi4 obj1 de5 bu4 fen5).
(<=>
(properPart ?OBJ1 ?OBJ2)
(and
(part ?OBJ1 ?OBJ2)
(not
(part ?OBJ2 ?OBJ1))))
coll1 shi4 coll2 de5 zheng4 ci4 ju4 ji2 if and only if
(<=>
(subCollection ?COLL1 ?COLL2)
(and
(instance ?COLL1 Collection)
(instance ?COLL2 Collection)
(forall
(?MEMBER)
(=>
(member ?MEMBER ?COLL1)
(member ?MEMBER ?COLL2)))))
agent shi4 shi1 shi4 zhe3 de5 shi2 li4 if and only if there exists proc so_that_not proc shi4 agent de5 shi1 shi4 zhe3.
(<=>
(instance ?AGENT Agent)
(exists
(?PROC)
(agent ?PROC ?AGENT)))
abs shi4 chou1 xiang4 de5 de5 shi2 li4 if and only if there doesn't exist point so_that_not abs wei4 yu1 point or abs (bu2) cun2 zai4s point qi1 jian1.
(<=>
(instance ?ABS Abstract)
(not
(exists
(?POINT)
(or
(located ?ABS ?POINT)
(time ?ABS ?POINT)))))
"class de5 miao2 shu4" deng3 yu1 attr if and only if for all inst holds: inst shi4 class de5 shi2 li4 if and only if inst you3 shu3 xing4 attr.
(<=>
(equal
(AbstractionFn ?CLASS)
?ATTR)
(forall
(?INST)
(<=>
(instance ?INST ?CLASS)
(property ?INST ?ATTR))))
"zhong3 lei4 fu2 he2 attribute" deng3 yu1 class if and only if "class de5 miao2 shu4" deng3 yu1 attribute.
(<=>
(equal
(ExtensionFn ?ATTRIBUTE)
?CLASS)
(equal
(AbstractionFn ?CLASS)
?ATTRIBUTE))
number1 ┪单 number2 if and only if number1 deng3 yu1 number2 or number1 xiao3 yu1 number2.
(<=>
(lessThanOrEqualTo ?NUMBER1 ?NUMBER2)
(or
(equal ?NUMBER1 ?NUMBER2)
(lessThan ?NUMBER1 ?NUMBER2)))
number1 da4 yu1 huo4 deng3 yu1 number2 if and only if number1 deng3 yu1 number2 or number1 (bu2) da4 yu1 number2.
(<=>
(greaterThanOrEqualTo ?NUMBER1 ?NUMBER2)
(or
(equal ?NUMBER1 ?NUMBER2)
(greaterThan ?NUMBER1 ?NUMBER2)))
number shi4 fei1 fu4 shi2 shu4 de5 shi2 li4 if and only if number da4 yu1 huo4 deng3 yu1 and number shi4 shi2 shu4 de5 shi2 li4.
(<=>
(instance ?NUMBER NonnegativeRealNumber)
(and
(greaterThanOrEqualTo ?NUMBER 0)
(instance ?NUMBER RealNumber)))
number shi4 zheng4 shi2 shu4 de5 shi2 li4 if and only if number (bu2) da4 yu1 and number shi4 shi2 shu4 de5 shi2 li4.
(<=>
(instance ?NUMBER PositiveRealNumber)
(and
(greaterThan ?NUMBER 0)
(instance ?NUMBER RealNumber)))
number shi4 fu4 shi2 shu4 de5 shi2 li4 if and only if number xiao3 yu1 and number shi4 shi2 shu4 de5 shi2 li4.
(<=>
(instance ?NUMBER NegativeRealNumber)
(and
(lessThan ?NUMBER 0)
(instance ?NUMBER RealNumber)))
If rel shi4 guan1 xi4 de5 shi2 li4, then rel() (bu2) cheng2 li4s if and only if rel() holds.
(=>
(instance ?REL Relation)
(<=>
(holds ?REL @ROW)
(?REL @ROW)))
rel shi4 dan1 zhi2 guan1 xi4 de5 shi2 li4 if and only if for all ,item1,item2 holds: if rel(,item1) (bu2) cheng2 li4s and rel(,item2) (bu2) cheng2 li4s, then item1 deng3 yu1 item2.
(<=>
(instance ?REL SingleValuedRelation)
(forall
(@ROW ?ITEM1 ?ITEM2)
(=>
(and
(holds ?REL @ROW ?ITEM1)
(holds ?REL @ROW ?ITEM2))
(equal ?ITEM1 ?ITEM2))))
rel shi4 quan2 zhi2 guan1 xi4 de5 shi2 li4 if and only if there exists valence so_that_not rel shi4 guan1 xi4 de5 shi2 li4 and rel %&Τ 阶じ(s) valence and - if for all number,element,class holds: if number xiao3 yu1 valence and rel de5 lun4 yuan2 number shi4 class de5 shi2 li4 and element deng3 yu1 ""()" de5 di4 er4 yuan2 su4", then element shi4 class de5 shi2 li4,
- then there exists item so_that_not rel(,item) (bu2) cheng2 li4s
.
(<=>
(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))))))
list shi4 wei2 yi1 xu4 lie4 de5 shi2 li4 if and only if for all number1,number2 holds: if "list de5 di4 er4 yuan2 su4" deng3 yu1 "list de5 di4 er4 yuan2 su4", then number1 deng3 yu1 number2.
(<=>
(instance ?LIST UniqueList)
(forall
(?NUMBER1 ?NUMBER2)
(=>
(equal
(ListOrderFn ?LIST ?NUMBER1)
(ListOrderFn ?LIST ?NUMBER2))
(equal ?NUMBER1 ?NUMBER2))))
list deng3 yu1 kong1 lie4 if and only if there doesn't exist item so_that_not item shi4 list de5 yi1 cheng2 yuan2.
(<=>
(equal ?LIST NullList)
(not
(exists
(?ITEM)
(inList ?ITEM ?LIST))))
If "list de5 chang2 du4" deng3 yu1 number1, then for all number2 holds: there exists item so_that_not "list de5 di4 er4 yuan2 su4" deng3 yu1 item if and only if number2 ┪单 number1.
(=>
(equal
(ListLengthFn ?LIST)
?NUMBER1)
(forall
(?NUMBER2)
(<=>
(exists
(?ITEM)
(equal
(ListOrderFn ?LIST ?NUMBER2)
?ITEM))
(lessThanOrEqualTo ?NUMBER2 ?NUMBER1))))
list3 deng3 yu1 "list1 he2 list2 zu3 cheng2 de5 xu4 lie4" if and only if for all number1,number2 holds: if number1 ┪单 "list1 de5 chang2 du4" and number2 ┪单 "list2 de5 chang2 du4" and number1 shi4 zheng4 zheng3 shu4 de5 shi2 li4 and number2 shi4 zheng4 zheng3 shu4 de5 shi2 li4, then "list3 de5 di4 er4 yuan2 su4" deng3 yu1 "list1 de5 di4 er4 yuan2 su4" and "list3 de5 di4 er4 yuan2 su4" deng3 yu1 "list2 de5 di4 er4 yuan2 su4".
(<=>
(equal
?LIST3
(ListConcatenateFn ?LIST1 ?LIST2))
(forall
(?NUMBER1 ?NUMBER2)
(=>
(and
(lessThanOrEqualTo
?NUMBER1
(ListLengthFn ?LIST1))
(lessThanOrEqualTo
?NUMBER2
(ListLengthFn ?LIST2))
(instance ?NUMBER1 PositiveInteger)
(instance ?NUMBER2 PositiveInteger))
(and
(equal
(ListOrderFn ?LIST3 ?NUMBER1)
(ListOrderFn ?LIST1 ?NUMBER1))
(equal
(ListOrderFn
?LIST3
(AdditionFn
(ListLengthFn ?LIST1)
?NUMBER2))
(ListOrderFn ?LIST2 ?NUMBER2))))))
item shi4 list de5 yi1 cheng2 yuan2 if and only if there exists number so_that_not "list de5 di4 er4 yuan2 su4" deng3 yu1 item.
(<=>
(inList ?ITEM ?LIST)
(exists
(?NUMBER)
(equal
(ListOrderFn ?LIST ?NUMBER)
?ITEM)))
relation quan2 xu4 yu1 class if and only if relation pian1 xu4 yu1 class and relation dui4 class shi4 san1 fen1 fa3.
(<=>
(totalOrderingOn ?RELATION ?CLASS)
(and
(partialOrderingOn ?RELATION ?CLASS)
(trichotomizingOn ?RELATION ?CLASS)))
"thing zai4 time de5 timewei4 zhi4" deng3 yu1 region if and only if thing jing1 que4 wei4 yu1 region timea(zhi1 zhong1) time.
(<=>
(equal
(WhereFn ?THING ?TIME)
?REGION)
(holdsDuring
?TIME
(exactlyLocated ?THING ?REGION)))
obj shi4 "person de5 fu4 shu3 wu4" de5 shi2 li4 if and only if person (mei2) yong1 you3not(s) obj.
(<=>
(instance
?OBJ
(PropertyFn ?PERSON))
(possesses ?PERSON ?OBJ))
class1 bao1 rong2 class2 and class2 bao1 rong2 class1 if and only if class1 xun4 xi1 deng3 tong2 yu1 class2.
(<=>
(and
(subsumesContentClass ?CLASS1 ?CLASS2)
(subsumesContentClass ?CLASS2 ?CLASS1))
(equivalentContentClass ?CLASS1 ?CLASS2))
class1 bao1 rong2 class2 if and only if for all obj2,info holds: if obj2 shi4 class2 de5 shi2 li4 and obj2 (bu2) bao1 han2s) xun4 xi1 %2, then there exists class1 obj1 so_that_not obj1 (bu2) bao1 han2s) xun4 xi1 %2.
(<=>
(subsumesContentClass ?CLASS1 ?CLASS2)
(forall
(?OBJ2 ?INFO)
(=>
(and
(instance ?OBJ2 ?CLASS2)
(containsInformation ?OBJ2 ?INFO))
(exists
(?OBJ1)
(and
(instance ?OBJ1 ?CLASS1)
(containsInformation ?OBJ1 ?INFO))))))
obj1 bao1 rong2 obj2 and obj2 bao1 rong2 obj1 if and only if obj1 xun4 xi1 deng3 tong2 yu1 obj2.
(<=>
(and
(subsumesContentInstance ?OBJ1 ?OBJ2)
(subsumesContentInstance ?OBJ2 ?OBJ1))
(equivalentContentInstance ?OBJ1 ?OBJ2))
obj1 bao1 rong2 obj2 if and only if for all info holds: if obj2 (bu2) bao1 han2s) xun4 xi1 %2, then obj1 (bu2) bao1 han2s) xun4 xi1 %2.
(<=>
(subsumesContentInstance ?OBJ1 ?OBJ2)
(forall
(?INFO)
(=>
(containsInformation ?OBJ2 ?INFO)
(containsInformation ?OBJ1 ?INFO))))
express yi3 language yu3 yan2 biao3 da2 if and only if there exists prop so_that_not express yi3 yu3 yan2 language cheng2 xian4 prop.
(<=>
(expressedInLanguage ?EXPRESS ?LANGUAGE)
(exists
(?PROP)
(representsInLanguage ?EXPRESS ?PROP ?LANGUAGE)))
"number1 de5 jue2 dui4 zhi2" deng3 yu1 number2 and number1 shi4 shi2 shu4 de5 shi2 li4 and number2 shi4 shi2 shu4 de5 shi2 li4 if and only if
(<=>
(and
(equal
(AbsoluteValueFn ?NUMBER1)
?NUMBER2)
(instance ?NUMBER1 RealNumber)
(instance ?NUMBER2 RealNumber))
(or
(and
(instance ?NUMBER1 NonnegativeRealNumber)
(equal ?NUMBER1 ?NUMBER2))
(and
(instance ?NUMBER1 NegativeRealNumber)
(equal
?NUMBER2
(SubtractionFn 0 ?NUMBER1)))))
"number1 qu3 yu2 shu4 number2" deng3 yu1 number if and only if "(""zui4 da4 zheng3 shu4 xiao3 yu1 huo4 deng3 yu1 "number1/number2""*number2"+number)" deng3 yu1 number1.
(<=>
(equal
(RemainderFn ?NUMBER1 ?NUMBER2)
?NUMBER)
(equal
(AdditionFn
(MultiplicationFn
(FloorFn
(DivisionFn ?NUMBER1 ?NUMBER2))
?NUMBER2)
?NUMBER)
?NUMBER1))
If for all element holds: element shi4 set1 de5 yuan2 su4 if and only if element shi4 set2 de5 yuan2 su4, then set1 deng3 yu1 set2.
(=>
(forall
(?ELEMENT)
(<=>
(element ?ELEMENT ?SET1)
(element ?ELEMENT ?SET2)))
(equal ?SET1 ?SET2))
graph shi4 tu2 xing2 hui2 lu4 de5 shi2 li4 if and only if there exists node so_that_not "graph de5 zui4 chu1 jie2 dian3" deng3 yu1 node and "graph de5 zui4 hou4 jie2 dian3" deng3 yu1 node.
(<=>
(instance ?GRAPH GraphCircuit)
(exists
(?NODE)
(and
(equal
(BeginNodeFn ?GRAPH)
?NODE)
(equal
(EndNodeFn ?GRAPH)
?NODE))))
graph shi4 duo1 tu2 de5 shi2 li4 if and only if there exist arc1,arc2,node1,node2 so_that_not arc1 shi4 graph de5 bu4 fen5 and arc2 shi4 graph de5 bu4 fen5 and node1 shi4 graph de5 bu4 fen5 and node2 shi4 graph de5 bu4 fen5 and arc1 (mei2) lian2 jie2not(s) node1 he2 node2 and arc2 (mei2) lian2 jie2not(s) node1 he2 node2 and arc1 deng3 yu1 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 shi4 ni3 tu2 de5 shi2 li4 if and only if there exists tu2 hui2 quan1 loop so_that_not loop shi4 graph de5 bu4 fen5.
(<=>
(instance ?GRAPH PseudoGraph)
(exists
(?LOOP)
(and
(instance ?LOOP GraphLoop)
(graphPart ?LOOP ?GRAPH))))
loop shi4 tu2 hui2 quan1 de5 shi2 li4 if and only if there exists node so_that_not loop (mei2) lian2 jie2not(s) node he2 node.
(<=>
(instance ?LOOP GraphLoop)
(exists
(?NODE)
(links ?NODE ?NODE ?LOOP)))
If path shi4 graph de5 bu4 fen5 and graph shi4 you3 xiang4 tu2 de5 shi2 li4, then "node1 he2 node2 jian4 ji2 he2 lu4 jing4" deng3 yu1 path if and only if "node2 he2 node1 jian4 ji2 he2 lu4 jing4" deng3 yu1 path.
(=>
(and
(graphPart ?PATH ?GRAPH)
(not
(instance ?GRAPH DirectedGraph)))
(<=>
(equal
(GraphPathFn ?NODE1 ?NODE2)
?PATH)
(equal
(GraphPathFn ?NODE2 ?NODE1)
?PATH)))
quantity shi4 "cong2 from dao4 to de5 jian1 ge2" de5 shi2 li4 if and only if quantity da4 yu1 huo4 deng3 yu1 from and quantity ┪单 to.
(<=>
(instance
?QUANTITY
(IntervalFn ?FROM ?TO))
(and
(greaterThanOrEqualTo ?QUANTITY ?FROM)
(lessThanOrEqualTo ?QUANTITY ?TO)))
"person de5 cai2 chan3 de5 jia4 zhi2" deng3 yu1 amount if and only if "person de5 fu4 shu3 wu4" de5 jia4 zhi2 shi4 amount.
(<=>
(equal
(WealthFn ?PERSON)
?AMOUNT)
(monetaryValue
(PropertyFn ?PERSON)
?AMOUNT))
pos shi4 "thing cun2 zai4 de5 shi2 jian1" de5 bu4 fen5 if and only if thing (bu2) cun2 zai4s pos qi1 jian1.
(<=>
(temporalPart
?POS
(WhenFn ?THING))
(time ?THING ?POS))
interval1 (mei2) kai1 shi3s interval2 if and only if "interval1 de5 kai1 shi3" deng3 yu1 "interval2 de5 kai1 shi3" and "interval1 de5 jie2 shu4" (mei2) fa1 sheng1?{s} zai4 "interval2 de5 jie2 shu4" zhi1 qian2.
(<=>
(starts ?INTERVAL1 ?INTERVAL2)
(and
(equal
(BeginFn ?INTERVAL1)
(BeginFn ?INTERVAL2))
(before
(EndFn ?INTERVAL1)
(EndFn ?INTERVAL2))))
interval1 (mei2) wan2 cheng2s interval2 if and only if "interval2 de5 kai1 shi3" (mei2) fa1 sheng1?{s} zai4 "interval1 de5 kai1 shi3" zhi1 qian2 and "interval2 de5 jie2 shu4" deng3 yu1 "interval1 de5 jie2 shu4".
(<=>
(finishes ?INTERVAL1 ?INTERVAL2)
(and
(before
(BeginFn ?INTERVAL2)
(BeginFn ?INTERVAL1))
(equal
(EndFn ?INTERVAL2)
(EndFn ?INTERVAL1))))
point2 zai4 point1 he2 point3 zhi1 jian1 if and only if point1 (mei2) fa1 sheng1?{s} zai4 point2 zhi1 qian2 and point2 (mei2) fa1 sheng1?{s} zai4 point3 zhi1 qian2.
(<=>
(temporallyBetween ?POINT1 ?POINT2 ?POINT3)
(and
(before ?POINT1 ?POINT2)
(before ?POINT2 ?POINT3)))
point2 zai4 point1 he2 point3 huo4 zhi1 jian1 if and only if point1 (mei2) fa1 sheng1?{s} zai4 point2 huo4 zhi1 qian2 and point2 (mei2) fa1 sheng1?{s} zai4 point3 huo4 zhi1 qian2.
(<=>
(temporallyBetweenOrEqual ?POINT1 ?POINT2 ?POINT3)
(and
(beforeOrEqual ?POINT1 ?POINT2)
(beforeOrEqual ?POINT2 ?POINT3)))
phys (bu2) cun2 zai4s time qi1 jian1 and time shi4 shi2 dian3 de5 shi2 li4 if and only if time zai4 ""phys cun2 zai4 de5 shi2 jian1" de5 kai1 shi3" he2 ""phys cun2 zai4 de5 shi2 jian1" de5 jie2 shu4" huo4 zhi1 jian1 .
(<=>
(and
(time ?PHYS ?TIME)
(instance ?TIME TimePoint))
(temporallyBetweenOrEqual
(BeginFn
(WhenFn ?PHYS))
?TIME
(EndFn
(WhenFn ?PHYS))))
interval2 (mei2) yu3 1 ?zhong4 die2s if and only if there exists shi2 duan4 interval3 so_that_not interval3 shi4 interval1 de5 bu4 fen5 and interval3 shi4 interval2 de5 bu4 fen5.
(<=>
(overlapsTemporally ?INTERVAL1 ?INTERVAL2)
(exists
(?INTERVAL3)
(and
(instance ?INTERVAL3 TimeInterval)
(temporalPart ?INTERVAL3 ?INTERVAL1)
(temporalPart ?INTERVAL3 ?INTERVAL2))))
interval1 (mei2) xiang1 jie1s interval2 if and only if "interval1 de5 jie2 shu4" deng3 yu1 "interval2 de5 kai1 shi3".
(<=>
(meetsTemporally ?INTERVAL1 ?INTERVAL2)
(equal
(EndFn ?INTERVAL1)
(BeginFn ?INTERVAL2)))
interval1 (mei2) bi3 interval2 jiao4 zao3 fa1 sheng1not(s) if and only if "interval1 de5 jie2 shu4" (mei2) fa1 sheng1?{s} zai4 "interval2 de5 kai1 shi3" zhi1 qian2.
(<=>
(earlier ?INTERVAL1 ?INTERVAL2)
(before
(EndFn ?INTERVAL1)
(BeginFn ?INTERVAL2)))
phys1 (mei2) yu3 phys2 tong5 shi2 fa1 sheng1not(s) if and only if "phys1 cun2 zai4 de5 shi2 jian1" deng3 yu1 "phys2 cun2 zai4 de5 shi2 jian1".
(<=>
(cooccur ?PHYS1 ?PHYS2)
(equal
(WhenFn ?PHYS1)
(WhenFn ?PHYS2)))
If "point1 he2 point2 de5 jian1 ju4" deng3 yu1 interval, then for all point holds: point zai4 point1 he2 point2 huo4 zhi1 jian1 if and only if point shi4 interval de5 bu4 fen5.
(=>
(equal
(TimeIntervalFn ?POINT1 ?POINT2)
?INTERVAL)
(forall
(?POINT)
(<=>
(temporallyBetweenOrEqual ?POINT1 ?POINT ?POINT2)
(temporalPart ?POINT ?INTERVAL))))
obj shi4 zi4 shen1 lian2 xu4 wu4 ti1 de5 shi2 li4 if and only if for all part1,part2 holds: if obj deng3 yu1 "part1 he2 part2 de5 lian2 ji2", then part1 yu3 part2 xiang1 lian2.
(<=>
(instance ?OBJ SelfConnectedObject)
(forall
(?PART1 ?PART2)
(=>
(equal
?OBJ
(MereologicalSumFn ?PART1 ?PART2))
(connected ?PART1 ?PART2))))
obj1 lian2 jie2 obj2 he2 obj3 if and only if obj1 yu3 obj2 xiang1 lian2 and obj1 yu3 obj3 xiang1 lian2 and obj2 yu3 obj3 xiang1 lian2.
(<=>
(connects ?OBJ1 ?OBJ2 ?OBJ3)
(and
(connected ?OBJ1 ?OBJ2)
(connected ?OBJ1 ?OBJ3)
(not
(connected ?OBJ2 ?OBJ3))))
obj1 (mei2) yu3 obj2 zhong4 die2s if and only if there exists obj3 so_that_not obj3 shi4 obj1 de5 bu4 fen5) and obj3 shi4 obj2 de5 bu4 fen5).
(<=>
(overlapsSpatially ?OBJ1 ?OBJ2)
(exists
(?OBJ3)
(and
(part ?OBJ3 ?OBJ1)
(part ?OBJ3 ?OBJ2))))
obj1 (mei2) yu3 obj2 bu4 fen5 zhong4 die2s if and only if - obj1 shi4 obj2 de5 bu4 fen5)
and - obj2 shi4 obj1 de5 bu4 fen5)
and - there exists obj3 so_that_not obj3 shi4 obj1 de5 bu4 fen5) and obj3 shi4 obj2 de5 bu4 fen5)
.
(<=>
(overlapsPartially ?OBJ1 ?OBJ2)
(and
(not
(part ?OBJ1 ?OBJ2))
(not
(part ?OBJ2 ?OBJ1))
(exists
(?OBJ3)
(and
(part ?OBJ3 ?OBJ1)
(part ?OBJ3 ?OBJ2)))))
object de5 kuan1 du4 shi4 width if and only if there exist side1,side2 so_that_not object de5 ce4 mian4 shi4 side1 and object de5 ce4 mian4 shi4 side2 and side1 he2 side2 zhi1 jian1 ju4 li2 shi4 width.
(<=>
(width ?OBJECT ?WIDTH)
(exists
(?SIDE1 ?SIDE2)
(and
(side ?SIDE1 ?OBJECT)
(side ?SIDE2 ?OBJECT)
(distance ?SIDE1 ?SIDE2 ?WIDTH))))
If obj3 deng3 yu1 "obj1 he2 obj2 de5 lian2 ji2", then for all part holds: part shi4 obj3 de5 bu4 fen5) if and only if part shi4 obj1 de5 bu4 fen5) or part shi4 obj2 de5 bu4 fen5).
(=>
(equal
?OBJ3
(MereologicalSumFn ?OBJ1 ?OBJ2))
(forall
(?PART)
(<=>
(part ?PART ?OBJ3)
(or
(part ?PART ?OBJ1)
(part ?PART ?OBJ2)))))
If obj3 deng3 yu1 "obj1 he2 obj2 de5 jiao1 ji2", then for all part holds: part shi4 obj3 de5 bu4 fen5) if and only if part shi4 obj1 de5 bu4 fen5) and part shi4 obj2 de5 bu4 fen5).
(=>
(equal
?OBJ3
(MereologicalProductFn ?OBJ1 ?OBJ2))
(forall
(?PART)
(<=>
(part ?PART ?OBJ3)
(and
(part ?PART ?OBJ1)
(part ?PART ?OBJ2)))))
If obj3 deng3 yu1 "obj1 he2 obj2 de5 cha4 yi4", then for all part holds: part shi4 obj3 de5 bu4 fen5) if and only if part shi4 obj1 de5 bu4 fen5) and part shi4 obj2 de5 bu4 fen5).
(=>
(equal
?OBJ3
(MereologicalDifferenceFn ?OBJ1 ?OBJ2))
(forall
(?PART)
(<=>
(part ?PART ?OBJ3)
(and
(part ?PART ?OBJ1)
(not
(part ?PART ?OBJ2))))))
hole shi4 dong4 de5 shi2 li4 if and only if there exists obj so_that_not hole zai4 obj shi4 dong4.
(<=>
(instance ?HOLE Hole)
(exists
(?OBJ)
(hole ?HOLE ?OBJ)))
If obj1 deng3 yu1 "dong4 hole de5 zhu3 ti1", then for all obj2 holds: obj2 (mei2) yu3 obj1 zhong4 die2s if and only if there exists obj3 so_that_not hole zai4 obj3 shi4 dong4 and obj2 (mei2) yu3 obj3 zhong4 die2s.
(=>
(equal
?OBJ1
(PrincipalHostFn ?HOLE))
(forall
(?OBJ2)
(<=>
(overlapsSpatially ?OBJ2 ?OBJ1)
(exists
(?OBJ3)
(and
(hole ?HOLE ?OBJ3)
(overlapsSpatially ?OBJ2 ?OBJ3))))))
ke3 tian2 chong1 de5 shi4 hole1 de5 shu3 xing4 if and only if there exists dong4 hole2 so_that_not hole1 shi4 hole2 de5 bu4 fen5).
(<=>
(attribute ?HOLE1 Fillable)
(exists
(?HOLE2)
(and
(instance ?HOLE2 Hole)
(part ?HOLE1 ?HOLE2))))
If obj1 deng3 yu1 "dong4 hole de5 biao3 pi2", then for all obj2 holds: obj2 (mei2) yu3 obj1 zhong4 die2s if and only if there exists obj3 so_that_not obj3 shi4 "dong4 hole de5 zhu3 ti1"de5 wai4 biao3 bu4 fen5 and hole (mei2) jie1 chu4s obj3 and obj2 (mei2) yu3 obj3 zhong4 die2s.
(=>
(equal
?OBJ1
(SkinFn ?HOLE))
(forall
(?OBJ2)
(<=>
(overlapsSpatially ?OBJ2 ?OBJ1)
(exists
(?OBJ3)
(and
(superficialPart
?OBJ3
(PrincipalHostFn ?HOLE))
(meetsSpatially ?HOLE ?OBJ3)
(overlapsSpatially ?OBJ2 ?OBJ3))))))
inj shi4 shang1 hai4 de5 shi2 li4 if and only if inj shi4 sun3 hai4 de5 shi2 li4 and sheng1 wu4 ti1 shi4 inj de5 shou4 shi4 zhe3.
(<=>
(instance ?INJ Injuring)
(and
(instance ?INJ Damaging)
(patient ?INJ Organism)))
There exists jie4 qu3 borrow so_that_not borrow shi4 agent1 de5 shi1 shi4 zhe3 and borrow (bu2) qi3 yuan2s yu1 agent2 and object shi4 borrow de5 shou4 shi4 zhe3 if and only if there exists jie4 yu3 lend so_that_not lend shi4 agent2 de5 shi1 shi4 zhe3 and lend (bu2) zhong1 jie2not(s) agent1 and object shi4 lend de5 shou4 shi4 zhe3.
(<=>
(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))))
There exists mai3 buy so_that_not buy shi4 agent1 de5 shi1 shi4 zhe3 and buy (bu2) qi3 yuan2s yu1 agent2 and object shi4 buy de5 shou4 shi4 zhe3 if and only if there exists xiao1 shou4 sell so_that_not sell shi4 agent2 de5 shi1 shi4 zhe3 and sell (bu2) zhong1 jie2not(s) agent1 and object shi4 sell de5 shou4 shi4 zhe3.
(<=>
(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))))
process shi4 hui3 mie4 de5 shi2 li4 if and only if there exists patient so_that_not patient shi4 process de5 shou4 shi4 zhe3 and patient (bu2) cun2 zai4s ""process cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2" qi1 jian1 and patient not(bu2) cun2 zai4 ""process cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4" qi1 jian1.
(<=>
(instance ?PROCESS Destruction)
(exists
(?PATIENT)
(and
(patient ?PROCESS ?PATIENT)
(time
?PATIENT
(ImmediatePastFn
(WhenFn ?PROCESS)))
(not
(time
?PATIENT
(ImmediateFutureFn
(WhenFn ?PROCESS)))))))
combine shi4 jie2 he2 de5 shi2 li4 and obj1 dui4 combine shi4 zi1 yuan2 and obj2 shi4 combine de5 jie2 guo3 if and only if obj1 shi4 obj2 de5 bu4 fen5) ""combine cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2"a(zhi1 zhong1) "combine cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2 and obj1 shi4 obj2 de5 bu4 fen5) ""combine cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4"a(zhi1 zhong1) "combine cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4.
(<=>
(and
(instance ?COMBINE Combining)
(resource ?COMBINE ?OBJ1)
(result ?COMBINE ?OBJ2))
(and
(holdsDuring
(ImmediatePastFn
(WhenFn ?COMBINE))
(not
(part ?OBJ1 ?OBJ2)))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?COMBINE))
(part ?OBJ1 ?OBJ2))))
compound shi4 hua4 he2 wu4 de5 shi2 li4 if and only if there exist ji1 ben3 wu4 zhi4 element1,ji1 ben3 wu4 zhi4 element2,hua4 xue2 he2 cheng2 process so_that_not element1 deng3 yu1 element2 and element1 dui4 process shi4 zi1 yuan2 and element2 dui4 process shi4 zi1 yuan2 and compound shi4 process de5 jie2 guo3.
(<=>
(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))))
process shi4 chan3 sheng1 de5 shi2 li4 if and only if there exists patient so_that_not patient shi4 process de5 shou4 shi4 zhe3 and patient (bu2) cun2 zai4s ""process cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4" qi1 jian1 and patient not(bu2) cun2 zai4 ""process cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2" qi1 jian1.
(<=>
(instance ?PROCESS Creation)
(exists
(?PATIENT)
(and
(patient ?PROCESS ?PATIENT)
(time
?PATIENT
(ImmediateFutureFn
(WhenFn ?PROCESS)))
(not
(time
?PATIENT
(ImmediatePastFn
(WhenFn ?PROCESS)))))))
There exists jian4 gou4 build so_that_not artifact shi4 build de5 jie2 guo3 if and only if artifact shi4 gu4 ding4 ren2 zao4 wu4 de5 shi2 li4.
(<=>
(exists
(?BUILD)
(and
(instance ?BUILD Constructing)
(result ?BUILD ?ARTIFACT)))
(instance ?ARTIFACT StationaryArtifact))
There exists guang1 xian4 emit so_that_not region shi4 emit de5 shou4 shi4 zhe3 and region shi4 qu1 yu4 de5 shi2 li4 if and only if bei4 guang1 zhao4 de5 shi4 region de5 shu3 xing4.
(<=>
(exists
(?EMIT)
(and
(instance ?EMIT RadiatingLight)
(patient ?EMIT ?REGION)
(instance ?REGION Region)))
(attribute ?REGION Illuminated))
animal1 shi4 animal2 de5 xiong1 di4 zi3 mei4 if and only if there exist father,mother so_that_not father shi4 animal1 de5 fu4 qin1 and father shi4 animal2 de5 fu4 qin1 and mother shi4 animal1 de5 mu3 qin1 and mother shi4 animal2 de5 mu3 qin1.
(<=>
(sibling ?ANIMAL1 ?ANIMAL2)
(exists
(?FATHER ?MOTHER)
(and
(father ?ANIMAL1 ?FATHER)
(father ?ANIMAL2 ?FATHER)
(mother ?ANIMAL1 ?MOTHER)
(mother ?ANIMAL2 ?MOTHER))))
org chu1 ban3 text if and only if there exists chu1 ban3 pub so_that_not pub shi4 org de5 shi1 shi4 zhe3 and text shi4 pub de5 shou4 shi4 zhe3.
(<=>
(publishes ?ORG ?TEXT)
(exists
(?PUB)
(and
(instance ?PUB Publication)
(agent ?PUB ?ORG)
(patient ?PUB ?TEXT))))
artifact shi4 ren2 zao4 wu4 de5 shi2 li4 if and only if there exists zhi4 zuo4 making so_that_not artifact shi4 making de5 jie2 guo3.
(<=>
(instance ?ARTIFACT Artifact)
(exists
(?MAKING)
(and
(instance ?MAKING Making)
(result ?MAKING ?ARTIFACT))))
comp1 yu3 comp2 lian2 jie2 if and only if there exists connection so_that_not connection lian2 jie2 comp1 he2 comp2.
(<=>
(connectedEngineeringComponents ?COMP1 ?COMP2)
(exists
(?CONNECTION)
(connectsEngineeringComponents ?CONNECTION ?COMP1 ?COMP2)))
If "unit de5 he2 fa3 zu3 zhi1 shi2 ti3 " deng3 yu1 org and attr shi4 gui1 fan4 shu3 xing4 de5 shi2 li4, then attr shi4 unit de5 shu3 xing4 if and only if attr shi4 org de5 shu3 xing4.
(=>
(and
(equal
(OrganizationFn ?UNIT)
?ORG)
(instance ?ATTR NormativeAttribute))
(<=>
(attribute ?UNIT ?ATTR)
(attribute ?ORG ?ATTR)))
obj1 dui4 obj2 shi4 bei3 fang1 if and only if obj2 dui4 obj1 shi4 nan2 fang1.
(<=>
(orientation ?OBJ1 ?OBJ2 North)
(orientation ?OBJ2 ?OBJ1 South))
obj1 dui4 obj2 shi4 dong1 fang1 if and only if obj2 dui4 obj1 shi4 ﹁よ.
(<=>
(orientation ?OBJ1 ?OBJ2 East)
(orientation ?OBJ2 ?OBJ1 West))
obj1 dui4 obj2 shi4 chui2 zhi2 de5 if and only if obj2 dui4 obj1 shi4 shui3 ping2 xian4.
(<=>
(orientation ?OBJ1 ?OBJ2 Vertical)
(orientation ?OBJ2 ?OBJ1 Horizontal))
obj1 dui4 obj2 shi4 zai4...zhi1 shang4 if and only if obj2 dui4 obj1 shi4 zai4...zhi1 xia4.
(<=>
(orientation ?OBJ1 ?OBJ2 Above)
(orientation ?OBJ2 ?OBJ1 Below))
obj1 dui4 obj2 shi4 you4 bian1 if and only if obj2 dui4 obj1 shi4 zuo3 bian1.
(<=>
(orientation ?OBJ1 ?OBJ2 Right)
(orientation ?OBJ2 ?OBJ1 Left))
For all org holds: org not(mei2) gu4 yong4(s) person and person shi4 ren2 lei4 de5 shi2 li4 if and only if shi1 ye4 de5 shi4 person de5 shu3 xing4.
(<=>
(forall
(?ORG)
(and
(not
(employs ?ORG ?PERSON))
(instance ?PERSON Human)))
(attribute ?PERSON Unemployed))
Chen2 shu4 formula you3 bi4 yao4 xing4 de5 xing2 tai4 yi4 yi4 if and only if chen2 shu4 "formula" you3 ke3 neng2 xing4 de5 xing2 tai4 yi4 yi4.
(<=>
(modalAttribute ?FORMULA Necessity)
(not
(modalAttribute
(not ?FORMULA)
Possibility)))
Chen2 shu4 formula you3 yi4 wu4 de5 xing2 tai4 yi4 yi4 if and only if chen2 shu4 "formula" you3 hu3 ke3 de5 xing2 tai4 yi4 yi4.
(<=>
(modalAttribute ?FORMULA Obligation)
(not
(modalAttribute
(not ?FORMULA)
Permission)))
obj shi4 wu4 zhi4 de5 shi2 li4 if and only if there exists wu4 li3 zhuang4 tai4 attr so_that_not attr shi4 obj de5 shu3 xing4.
(<=>
(instance ?OBJ Substance)
(exists
(?ATTR)
(and
(instance ?ATTR PhysicalState)
(attribute ?OBJ ?ATTR))))
agent shi4 neng2 zhi1 jiao4 de5 hang2 wei2 zhu3 ti1 de5 shi2 li4 and huo2 de5 shi4 agent de5 shu3 xing4 if and only if there exists yi4 shi2 shu3 xing4 attr so_that_not attr shi4 agent de5 shu3 xing4.
(<=>
(and
(instance ?AGENT SentientAgent)
(attribute ?AGENT Living))
(exists
(?ATTR)
(and
(instance ?ATTR ConsciousnessAttribute)
(attribute ?AGENT ?ATTR))))
entity shi4 "class1 he2 class2 de5 lian2 ji2" de5 shi2 li4 if and only if entity shi4 class1 de5 shi2 li4 or entity shi4 class2 de5 shi2 li4.
(<=>
(instance
?ENTITY
(UnionFn ?CLASS1 ?CLASS2))
(or
(instance ?ENTITY ?CLASS1)
(instance ?ENTITY ?CLASS2)))
entity shi4 "class1 he2 class2 de5 lian2 ji2" de5 shi2 li4 if and only if entity shi4 class1 de5 shi2 li4 and entity shi4 class2 de5 shi2 li4.
(<=>
(instance
?ENTITY
(IntersectionFn ?CLASS1 ?CLASS2))
(and
(instance ?ENTITY ?CLASS1)
(instance ?ENTITY ?CLASS2)))
entity shi4 "class de5 hu4 bu3" de5 shi2 li4 if and only if entity shi4 class de5 shi2 li4.
(<=>
(instance
?ENTITY
(ComplementFn ?CLASS))
(not
(instance ?ENTITY ?CLASS)))
entity shi4 "superclass de5 suo3 you3 yuan2 su4 de5 lian2 ji2" de5 shi2 li4 if and only if there exists superclass class so_that_not entity shi4 class de5 shi2 li4.
(<=>
(instance
?ENTITY
(GeneralizedUnionFn ?SUPERCLASS))
(exists
(?CLASS)
(and
(instance ?CLASS ?SUPERCLASS)
(instance ?ENTITY ?CLASS))))
entity shi4 "superclass de5 suo3 you3 yuan2 su4 de5 jiao1 ji2" de5 shi2 li4 if and only if for all class holds: if class shi4 superclass de5 shi2 li4, then entity shi4 class de5 shi2 li4.
(<=>
(instance
?ENTITY
(GeneralizedIntersectionFn ?SUPERCLASS))
(forall
(?CLASS)
(=>
(instance ?CLASS ?SUPERCLASS)
(instance ?ENTITY ?CLASS))))
subclass shi4 "class de5 suo3 you3 ci4 zhong3 lei4" de5 shi2 li4 if and only if subclass shi4 class de5 ci4 zhong3 lei4.
(<=>
(instance
?SUBCLASS
(PowerSetFn ?CLASS))
(subclass ?SUBCLASS ?CLASS))
