fei1 (not)
The truth-functional connective of negation.
Ontology
SUMO / STRUCTURAL-ONTOLOGYClass(es)
Coordinate term(s)
ruo4 qie3 wei2 ruo4
ruo4
he2
tui1 zhi1
cun2 zai4
suo3 you3
huo4
Type restrictions
not(SUO-KIFbiao3 shu4 shi4)
Related WordNet synsets
- negation
- the negative of the opposition
- not
- negation of a word or group of words; "he does not speak French"; "she is not going"; "they are not friends"; "not many"; "not much"; "not at all"
- no
- not in any degree or manner; not at all; "he is no better today"
See more related synsets on a separate page.
Axioms (121)
If entity shi4 class de5 zhi2 jie1 shi2 li4, then there doesn't exist class subclass so_that_not entity shi4 subclass de5 shi2 li4.
(=>
(immediateInstance ?ENTITY ?CLASS)
(not
(exists
(?SUBCLASS)
(and
(subclass ?SUBCLASS ?CLASS)
(instance ?ENTITY ?SUBCLASS)))))
If class1 shi4 class2 de5 zhi2 jie1 ci4 zhong3 lei4, then there doesn't exist class2 class3 so_that_not class1 shi4 class3 de5 ci4 zhong3 lei4 and class2 deng3 yu1 class3 and class1 deng3 yu1 class3.
(=>
(immediateSubclass ?CLASS1 ?CLASS2)
(not
(exists
(?CLASS3)
(and
(subclass ?CLASS3 ?CLASS2)
(subclass ?CLASS1 ?CLASS3)
(not
(equal ?CLASS2 ?CLASS3))
(not
(equal ?CLASS1 ?CLASS3))))))
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))))))
If wu2 jiao1 ji2 guan1 xi4() holds and rel1 shi4 "()" de5 yi1 cheng2 yuan2 and rel2 shi4 "()" de5 yi1 cheng2 yuan2 and rel1 deng3 yu1 rel2 and rel1() (bu2) cheng2 li4s, then rel2() not(bu2) cheng2 li4.
(=>
(and
(disjointRelation @ROW1)
(inList
?REL1
(ListFn @ROW1))
(inList
?REL2
(ListFn @ROW1))
(not
(equal ?REL1 ?REL2))
(holds ?REL1 @ROW2))
(not
(holds ?REL2 @ROW2)))
- if dui4 li4 yu1 ?,
- then for all attr1,attr2 holds:
- if attr1 deng3 yu1 ""()" de5 di4 er4 yuan2 su4" and attr2 deng3 yu1 ""()" de5 di4 er4 yuan2 su4" and number1 deng3 yu1 number2,
- then if obj you3 shu3 xing4 attr1, then obj you3 shu3 xing4 attr2
.
(=>
(contraryAttribute @ROW)
(forall
(?ATTR1 ?ATTR2)
(=>
(and
(equal
?ATTR1
(ListOrderFn
(ListFn @ROW)
?NUMBER1))
(equal
?ATTR2
(ListOrderFn
(ListFn @ROW)
?NUMBER2))
(not
(equal ?NUMBER1 ?NUMBER2)))
(=>
(property ?OBJ ?ATTR1)
(not
(property ?OBJ ?ATTR2))))))
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))))
If mixture shi4 hun4 he2 wu4 de5 shi2 li4, then there exist chun2 wu4 zhi4 pure1,chun2 wu4 zhi4 pure2 so_that_not pure1 deng3 yu1 pure2 and pure1 shi4 mixture de5 yi1 xiao3 bu4 fen5 and pure2 shi4 mixture de5 yi1 xiao3 bu4 fen5.
(=>
(instance ?MIXTURE Mixture)
(exists
(?PURE1 ?PURE2)
(and
(subclass ?PURE1 PureSubstance)
(subclass ?PURE2 PureSubstance)
(not
(equal ?PURE1 ?PURE2))
(piece ?PURE1 ?MIXTURE)
(piece ?PURE2 ?MIXTURE))))
If obj shi4 fu4 za2 ti1/fei1 dan1 zhi4 ti1 de5 shi2 li4, then there exist wu4 zhi4 substance1,wu4 zhi4 substance2 so_that_not substance1 shi4 you2 obj zu3 cheng2 and substance2 shi4 you2 obj zu3 cheng2 and substance1 deng3 yu1 substance2.
(=>
(instance ?OBJ CorpuscularObject)
(exists
(?SUBSTANCE1 ?SUBSTANCE2)
(and
(subclass ?SUBSTANCE1 Substance)
(subclass ?SUBSTANCE2 Substance)
(material ?SUBSTANCE1 ?OBJ)
(material ?SUBSTANCE2 ?OBJ)
(not
(equal ?SUBSTANCE1 ?SUBSTANCE2)))))
If lang shi4 dong4 wu4 yu3 yan2 de5 shi2 li4 and proc shi4 agent de5 shi1 shi4 zhe3 and lang dui4 proc shi4 gong1 ju4, then agent shi4 dong4 wu4 de5 shi2 li4 and agent shi4 ren2 lei4 de5 shi2 li4.
(=>
(and
(instance ?LANG AnimalLanguage)
(agent ?PROC ?AGENT)
(instrument ?PROC ?LANG))
(and
(instance ?AGENT Animal)
(not
(instance ?AGENT Human))))
If process shi4 shuang1 shou4 shi4 li4 cheng2 de5 shi2 li4, then there exist obj1,obj2 so_that_not obj1 shi4 process de5 shou4 shi4 zhe3 and obj2 shi4 process de5 shou4 shi4 zhe3 and obj1 deng3 yu1 obj2.
(=>
(instance ?PROCESS DualObjectProcess)
(exists
(?OBJ1 ?OBJ2)
(and
(patient ?PROCESS ?OBJ1)
(patient ?PROCESS ?OBJ2)
(not
(equal ?OBJ1 ?OBJ2)))))
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)))))
If rel shi4 er4 yuan2 guan1 xi4 de5 shi2 li4, then there don't exist item1,item2,item3, so_that_not rel(item1,item2,item3,) (bu2) cheng2 li4s.
(=>
(instance ?REL BinaryRelation)
(not
(exists
(?ITEM1 ?ITEM2 ?ITEM3 @ROW)
(holds ?REL ?ITEM1 ?ITEM2 ?ITEM3 @ROW))))
If rel shi4 fei1 fan3 shen1 guan1 xi4 de5 shi2 li4, then for all inst holds: rel(inst,inst) not(bu2) cheng2 li4.
(=>
(instance ?REL IrreflexiveRelation)
(forall
(?INST)
(not
(holds ?REL ?INST ?INST))))
(=>
(instance ?REL IntransitiveRelation)
(forall
(?INST1 ?INST2 ?INST3)
(=>
(and
(holds ?REL ?INST1 ?INST2)
(holds ?REL ?INST2 ?INST3))
(not
(holds ?REL ?INST1 ?INST3)))))
If rel shi4 san1 yuan2 guan1 xi4 de5 shi2 li4, then there don't exist item1,item2,item3,item4, so_that_not rel(item1,item2,item3,item4,) (bu2) cheng2 li4s.
(=>
(instance ?REL TernaryRelation)
(not
(exists
(?ITEM1 ?ITEM2 ?ITEM3 ?ITEM4 @ROW)
(holds ?REL ?ITEM1 ?ITEM2 ?ITEM3 ?ITEM4 @ROW))))
If rel shi4 si4 yuan2 guan1 xi4 de5 shi2 li4, then there don't exist item1,item2,item3,item4,item5, so_that_not rel(item1,item2,item3,item4,item5,) (bu2) cheng2 li4s.
(=>
(instance ?REL QuaternaryRelation)
(not
(exists
(?ITEM1 ?ITEM2 ?ITEM3 ?ITEM4 ?ITEM5 @ROW)
(holds ?REL ?ITEM1 ?ITEM2 ?ITEM3 ?ITEM4 ?ITEM5 @ROW))))
If rel shi4 wu3 yuan2 guan1 xi4 de5 shi2 li4, then there don't exist item1,item2,item3,item4,item5,item6, so_that_not rel(item1,item2,item3,item4,item5,item6,) (bu2) cheng2 li4s.
(=>
(instance ?REL QuintaryRelation)
(not
(exists
(?ITEM1 ?ITEM2 ?ITEM3 ?ITEM4 ?ITEM5 ?ITEM6 @ROW)
(holds ?REL ?ITEM1 ?ITEM2 ?ITEM3 ?ITEM4 ?ITEM5 ?ITEM6 @ROW))))
- if list shi4 xu4 lie4 de5 shi2 li4,
- then there exists number1 so_that_not there exists item1 so_that_not "list de5 di4 er4 yuan2 su4" deng3 yu1 item1 and for all number2 holds: if number2 shi4 zheng4 zheng3 shu4 de5 shi2 li4 and number2 xiao3 yu1 number1, then there exists item2 so_that_not "list de5 di4 er4 yuan2 su4" deng3 yu1 item2
.
(=>
(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 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 class wu2 jiao1 ji2 di4 fen1 jie3 cheng2 ,
- then for all item1,item2 holds: if item1 shi4 "()" de5 yi1 cheng2 yuan2 and item2 shi4 "()" de5 yi1 cheng2 yuan2 and item1 deng3 yu1 item2, then item1 wu2 jiao1 ji2 yu1 item2
.
(=>
(disjointDecomposition ?CLASS @ROW)
(forall
(?ITEM1 ?ITEM2)
(=>
(and
(inList
?ITEM1
(ListFn @ROW))
(inList
?ITEM2
(ListFn @ROW))
(not
(equal ?ITEM1 ?ITEM2)))
(disjoint ?ITEM1 ?ITEM2))))
- if fun shi4 yi1 dui4 yi1 han2 shu4 de5 shi2 li4,
- then for all arg1,arg2 holds: if fun de5 lun4 yuan2 shi4 class de5 shi2 li4 and arg1 shi4 class de5 shi2 li4 and arg2 shi4 class de5 shi2 li4 and arg1 deng3 yu1 arg2, then "fun(arg1)" deng3 yu1 "fun(arg2)"
.
(=>
(instance ?FUN OneToOneFunction)
(forall
(?ARG1 ?ARG2)
(=>
(and
(domain ?FUN 1 ?CLASS)
(instance ?ARG1 ?CLASS)
(instance ?ARG2 ?CLASS)
(not
(equal ?ARG1 ?ARG2)))
(not
(equal
(AssignmentFn ?FUN ?ARG1)
(AssignmentFn ?FUN ?ARG2))))))
If rel shi4 bian4 yi4 yuan2 shu4 guan1 xi4 de5 shi2 li4, then there doesn't exist int so_that_not rel %&有 論元(s) int.
(=>
(instance ?REL VariableArityRelation)
(not
(exists
(?INT)
(valence ?REL ?INT))))
- if relation fei1 fan3 she4 yu1 class ,
- then for all inst holds: if inst shi4 class de5 shi2 li4, then relation(inst,inst) not(bu2) cheng2 li4
.
(=>
(irreflexiveOn ?RELATION ?CLASS)
(forall
(?INST)
(=>
(instance ?INST ?CLASS)
(not
(holds ?RELATION ?INST ?INST)))))
If situation timea(zhi1 zhong1) time, then situation (mei2) wei2 zhen1 timea(zhi1 zhong1) time.
(=>
(holdsDuring
?TIME
(not ?SITUATION))
(not
(holdsDuring ?TIME ?SITUATION)))
If obj jing1 que4 wei4 yu1 region, then there doesn't exist otherobj so_that_not otherobj jing1 que4 wei4 yu1 region and otherobj deng3 yu1 obj.
(=>
(exactlyLocated ?OBJ ?REGION)
(not
(exists
(?OTHEROBJ)
(and
(exactlyLocated ?OTHEROBJ ?REGION)
(not
(equal ?OTHEROBJ ?OBJ))))))
- if proc1 bi4 mian3 proc2 de5 fa1 sheng1,
- then for all time,place holds: if there exists proc1 inst1 so_that_not inst1 wei4 yu1 place timea(zhi1 zhong1) time, then there exists proc2 inst2 so_that_not inst2 wei4 yu1 place timea(zhi1 zhong1) 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))))))))
If "number de5 shang4 xian4" deng3 yu1 int, then there doesn't exist zheng3 shu4 otherint so_that_not otherint da4 yu1 huo4 deng3 yu1 number and otherint xiao3 yu1 int.
(=>
(equal
(CeilingFn ?NUMBER)
?INT)
(not
(exists
(?OTHERINT)
(and
(instance ?OTHERINT Integer)
(greaterThanOrEqualTo ?OTHERINT ?NUMBER)
(lessThan ?OTHERINT ?INT)))))
If "zui4 da4 zheng3 shu4 xiao3 yu1 huo4 deng3 yu1 number" deng3 yu1 int, then there doesn't exist zheng3 shu4 otherint so_that_not otherint 小於或等於 number and otherint (bu2) da4 yu1 int.
(=>
(equal
(FloorFn ?NUMBER)
?INT)
(not
(exists
(?OTHERINT)
(and
(instance ?OTHERINT Integer)
(lessThanOrEqualTo ?OTHERINT ?NUMBER)
(greaterThan ?OTHERINT ?INT)))))
- if " de5 zui4 da4 gong1 yue1 shu4" deng3 yu1 number,
- then there doesn't exist greater so_that_not greater (bu2) da4 yu1 number and for all element holds: if element shi4 "()" de5 yi1 cheng2 yuan2, then "element qu3 yu2 shu4 greater" deng3 yu1
.
(=>
(equal
(GreatestCommonDivisorFn @ROW)
?NUMBER)
(not
(exists
(?GREATER)
(and
(greaterThan ?GREATER ?NUMBER)
(forall
(?ELEMENT)
(=>
(inList
?ELEMENT
(ListFn @ROW))
(equal
(RemainderFn ?ELEMENT ?GREATER)
0)))))))
- if " de5 zui4 xiao3 gong1 bei4 shu4" deng3 yu1 number,
- then there doesn't exist less so_that_not less xiao3 yu1 number and for all element holds: if element shi4 "()" de5 yi1 cheng2 yuan2, then "less qu3 yu2 shu4 element" deng3 yu1
.
(=>
(equal
(LeastCommonMultipleFn @ROW)
?NUMBER)
(not
(exists
(?LESS)
(and
(lessThan ?LESS ?NUMBER)
(forall
(?ELEMENT)
(=>
(inList
?ELEMENT
(ListFn @ROW))
(equal
(RemainderFn ?LESS ?ELEMENT)
0)))))))
If int1 shi4 zheng3 shu4 de5 shi2 li4 and int2 shi4 zheng3 shu4 de5 shi2 li4, then int1 xiao3 yu1 int2 or int2 xiao3 yu1 "(int1+1)".
(=>
(and
(instance ?INT1 Integer)
(instance ?INT2 Integer))
(not
(and
(lessThan ?INT1 ?INT2)
(lessThan
?INT2
(SuccessorFn ?INT1)))))
If int1 shi4 zheng3 shu4 de5 shi2 li4 and int2 shi4 zheng3 shu4 de5 shi2 li4, then int2 xiao3 yu1 int1 or "(int1+2)" xiao3 yu1 int2.
(=>
(and
(instance ?INT1 Integer)
(instance ?INT2 Integer))
(not
(and
(lessThan ?INT2 ?INT1)
(lessThan
(PredecessorFn ?INT1)
?INT2))))
There doesn't exist element so_that_not element shi4 kong1 ji2 he2 de5 yuan2 su4.
(not
(exists
(?ELEMENT)
(element ?ELEMENT NullSet)))
- if class shi4 hu4 chi4 lei4 de5 shi2 li4,
- then for all inst1,inst2 holds: if inst1 shi4 class de5 shi2 li4 and inst2 shi4 inst1 de5 shi2 li4, then there exists class inst3 so_that_not inst2 shi4 inst3 de5 shi2 li4
.
(=>
(instance ?CLASS MutuallyDisjointClass)
(forall
(?INST1 ?INST2)
(=>
(and
(instance ?INST1 ?CLASS)
(instance ?INST2 ?INST1))
(exists
(?INST3)
(and
(instance ?INST3 ?CLASS)
(not
(instance ?INST2 ?INST3)))))))
If graph shi4 tu2 de5 shi2 li4 and node1 shi4 tu2 jie2 dian3 de5 shi2 li4 and node2 shi4 tu2 jie2 dian3 de5 shi2 li4 and node1 shi4 graph de5 bu4 fen5 and node2 shi4 graph de5 bu4 fen5 and node1 deng3 yu1 node2, then there exist arc,path so_that_not - arc (mei2) lian2 jie2not(s) node1 he2 node2
or .
(=>
(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)))))))
If graph shi4 tu2 de5 shi2 li4, then there exist node1,node2,node3,arc1,arc2 so_that_not node1 shi4 graph de5 bu4 fen5 and node2 shi4 graph de5 bu4 fen5 and node3 shi4 graph de5 bu4 fen5 and arc1 shi4 graph de5 bu4 fen5 and arc2 shi4 graph de5 bu4 fen5 and node2 (mei2) lian2 jie2not(s) arc1 he2 node1 and node3 (mei2) lian2 jie2not(s) arc2 he2 node2 and node1 deng3 yu1 node2 and node2 deng3 yu1 node3 and node1 deng3 yu1 node3 and arc1 deng3 yu1 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)))))
If graph shi4 shu4 zhuang4 tu2 de5 shi2 li4, then there doesn't exist tu2 hui2 quan1 loop so_that_not loop shi4 graph de5 bu4 fen5.
(=>
(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 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)))))
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)))
There don't exist hua2 fen1 graph wei2 liang3 du2 li4 tu2 biao3 de5 xiang1 jiao1 lu4 jing4 path1,hua2 fen1 graph wei2 liang3 du2 li4 tu2 biao3 de5 zui4 xiao3 xiang1 jiao1 lu4 jing4 path2 so_that_not path1 de5 lu4 jing4 chang2 shi4 number1 and path2 de5 lu4 jing4 chang2 shi4 number2 and number1 xiao3 yu1 number2.
(not
(exists
(?PATH1 ?PATH2)
(and
(instance
?PATH1
(CutSetFn ?GRAPH))
(instance
?PATH2
(MinimalCutSetFn ?GRAPH))
(pathLength ?PATH1 ?NUMBER1)
(pathLength ?PATH2 ?NUMBER2)
(lessThan ?NUMBER1 ?NUMBER2))))
If point shi4 shi2 dian3 de5 shi2 li4 and point deng3 yu1 shi2 jian1 zhong1 dian3/yong3 yuan3, then point (mei2) fa1 sheng1?{s} zai4 shi2 jian1 zhong1 dian3/yong3 yuan3 zhi1 qian2.
(=>
(and
(instance ?POINT TimePoint)
(not
(equal ?POINT PositiveInfinity)))
(before ?POINT PositiveInfinity))
If point shi4 shi2 dian3 de5 shi2 li4 and point deng3 yu1 shi2 jian1 zhong1 dian3/yong3 yuan3, then there exists otherpoint so_that_not otherpoint zai4 point he2 shi2 jian1 zhong1 dian3/yong3 yuan3 zhi1 jian1 .
(=>
(and
(instance ?POINT TimePoint)
(not
(equal ?POINT PositiveInfinity)))
(exists
(?OTHERPOINT)
(temporallyBetween ?POINT ?OTHERPOINT PositiveInfinity)))
If point shi4 shi2 dian3 de5 shi2 li4 and point deng3 yu1 shi2 jian1 qi3 dian3/gen4 gu3, then shi2 jian1 qi3 dian3/gen4 gu3 (mei2) fa1 sheng1?{s} zai4 point zhi1 qian2.
(=>
(and
(instance ?POINT TimePoint)
(not
(equal ?POINT NegativeInfinity)))
(before NegativeInfinity ?POINT))
If point shi4 shi2 dian3 de5 shi2 li4 and point deng3 yu1 shi2 jian1 qi3 dian3/gen4 gu3, then there exists otherpoint so_that_not otherpoint zai4 shi2 jian1 qi3 dian3/gen4 gu3 he2 point zhi1 jian1 .
(=>
(and
(instance ?POINT TimePoint)
(not
(equal ?POINT NegativeInfinity)))
(exists
(?OTHERPOINT)
(temporallyBetween NegativeInfinity ?OTHERPOINT ?POINT)))
- if "interval de5 kai1 shi3" deng3 yu1 point,
- then for all otherpoint holds: if otherpoint shi4 interval de5 bu4 fen5 and otherpoint deng3 yu1 point, then point (mei2) fa1 sheng1?{s} zai4 otherpoint zhi1 qian2
.
(=>
(equal
(BeginFn ?INTERVAL)
?POINT)
(forall
(?OTHERPOINT)
(=>
(and
(temporalPart ?OTHERPOINT ?INTERVAL)
(not
(equal ?OTHERPOINT ?POINT)))
(before ?POINT ?OTHERPOINT))))
- if "interval de5 jie2 shu4" deng3 yu1 point,
- then for all otherpoint holds: if otherpoint shi4 interval de5 bu4 fen5 and otherpoint deng3 yu1 point, then otherpoint (mei2) fa1 sheng1?{s} zai4 point zhi1 qian2
.
(=>
(equal
(EndFn ?INTERVAL)
?POINT)
(forall
(?OTHERPOINT)
(=>
(and
(temporalPart ?OTHERPOINT ?INTERVAL)
(not
(equal ?OTHERPOINT ?POINT)))
(before ?OTHERPOINT ?POINT))))
- if obj shi4 proc de5 jie2 guo3,
- then for all time holds: if time (mei2) fa1 sheng1?{s} zai4 ""proc cun2 zai4 de5 shi2 jian1" de5 kai1 shi3" zhi1 qian2, then obj not(bu2) cun2 zai4 time qi1 jian1
.
(=>
(result ?PROC ?OBJ)
(forall
(?TIME)
(=>
(before
?TIME
(BeginFn
(WhenFn ?PROC)))
(not
(time ?OBJ ?TIME)))))
If leap shi4 run4 nian2 de5 shi2 li4 and leap deng3 yu1 "number nian2(s)", then
(=>
(and
(instance ?LEAP LeapYear)
(equal
?LEAP
(MeasureFn ?NUMBER Year)))
(or
(and
(equal
(RemainderFn ?NUMBER 4)
0)
(not
(equal
(RemainderFn ?NUMBER 100)
0)))
(equal
(RemainderFn ?NUMBER 400)
0)))
If "yue4 fen4 er4 yue4" deng3 yu1 month and year shi4 run4 nian2 de5 shi2 li4, then month de5 chi2 xu4 shi4 " ri4 ji4(s)".
(=>
(and
(equal
(MonthFn February ?YEAR)
?MONTH)
(not
(instance ?YEAR LeapYear)))
(duration
?MONTH
(MeasureFn 28 DayDuration)))
- if "interval fen1 jie3 cheng2 ? interval-types" deng3 yu1 class,
- then for all time1,time2 holds: if time1 shi4 class de5 shi2 li4 and time2 shi4 class de5 shi2 li4 and time1 deng3 yu1 time2, then time1 (mei2) xiang1 jie1s time2 or time2 (mei2) xiang1 jie1s time1 or time1 (mei2) bi3 time2 jiao4 zao3 fa1 sheng1not(s) or time2 (mei2) bi3 time1 jiao4 zao3 fa1 sheng1not(s)
.
(=>
(equal
(TemporalCompositionFn ?INTERVAL ?INTERVAL-TYPE)
?CLASS)
(forall
(?TIME1 ?TIME2)
(=>
(and
(instance ?TIME1 ?CLASS)
(instance ?TIME2 ?CLASS)
(not
(equal ?TIME1 ?TIME2)))
(or
(meetsTemporally ?TIME1 ?TIME2)
(meetsTemporally ?TIME2 ?TIME1)
(earlier ?TIME1 ?TIME2)
(earlier ?TIME2 ?TIME1)))))
- if "interval fen1 jie3 cheng2 ? interval-types" deng3 yu1 class,
- then for all time1 holds: if time1 shi4 class de5 shi2 li4 and time1 not(mei2) wan2 cheng2 interval, then there exists class time2 so_that_not time1 (mei2) xiang1 jie1s 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))))))
- if "interval fen1 jie3 cheng2 ? interval-types" deng3 yu1 class,
- then for all time1 holds: if time1 shi4 class de5 shi2 li4 and time1 not(mei2) kai1 shi3 interval, then there exists class time2 so_that_not time2 (mei2) xiang1 jie1s 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))))))
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))))
If obj1 shi4 collde5 cheng2 yuan2 and obj2 shi4 collde5 cheng2 yuan2 and obj1 deng3 yu1 obj2, then obj1 not(mei2) yu3 obj2 zhong4 die2.
(=>
(and
(member ?OBJ1 ?COLL)
(member ?OBJ2 ?COLL)
(not
(equal ?OBJ1 ?OBJ2)))
(not
(overlapsSpatially ?OBJ1 ?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)))))
If obj1 shi4 obj2de5 wai4 biao3 bu4 fen5, then obj1 shi4 obj2 de5 yi1 na4 bu4 and there doesn't exist obj3 so_that_not obj3 shi4 obj1 de5 yi1 na4 bu4.
(=>
(superficialPart ?OBJ1 ?OBJ2)
(and
(not
(interiorPart ?OBJ1 ?OBJ2))
(not
(exists
(?OBJ3)
(interiorPart ?OBJ3 ?OBJ1)))))
- if obj1 shi4 obj2 de5 yi1 na4 bu4,
- then for all part holds: if part shi4 obj2de5 wai4 biao3 bu4 fen5, then obj1 not(mei2) yu3 part zhong4 die2
.
(=>
(interiorPart ?OBJ1 ?OBJ2)
(forall
(?PART)
(=>
(superficialPart ?PART ?OBJ2)
(not
(overlapsSpatially ?OBJ1 ?PART)))))
If object de5 di3 bu4 shi4 bottom and part shi4 object de5 bu4 fen5) and part yu3 bottom xiang1 lian2, then part dui4 bottom shi4 zai4...zhi1 shang4.
(=>
(and
(bottom ?BOTTOM ?OBJECT)
(part ?PART ?OBJECT)
(not
(connected ?PART ?BOTTOM)))
(orientation ?PART ?BOTTOM Above))
If object de5 ding3 duan1 shi4 top and part shi4 object de5 bu4 fen5) and part yu3 top xiang1 lian2, then part dui4 top shi4 zai4...zhi1 xia4.
(=>
(and
(top ?TOP ?OBJECT)
(part ?PART ?OBJECT)
(not
(connected ?PART ?TOP)))
(orientation ?PART ?TOP Below))
If object de5 ce4 mian4 shi4 side and part shi4 object de5 bu4 fen5) and part yu3 side xiang1 lian2, then there exists direct so_that_not side dui4 part shi4 direct.
(=>
(and
(side ?SIDE ?OBJECT)
(part ?PART ?OBJECT)
(not
(connected ?PART ?SIDE)))
(exists
(?DIRECT)
(orientation ?SIDE ?PART ?DIRECT)))
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))))))
If hole zai4 obj shi4 dong4, then obj shi4 dong4 de5 shi2 li4.
(=>
(hole ?HOLE ?OBJ)
(not
(instance ?OBJ Hole)))
If hole zai4 obj shi4 dong4, then hole not(mei2) yu3 obj zhong4 die2.
(=>
(hole ?HOLE ?OBJ)
(not
(overlapsSpatially ?HOLE ?OBJ)))
If hole1 shi4 dong4 de5 shi2 li4 and hole2 shi4 hole1 de5 zheng4 bu4 fen5, then there exists obj so_that_not hole1 (mei2) jie1 chu4s obj and hole2 not(mei2) jie1 chu4 obj.
(=>
(and
(instance ?HOLE1 Hole)
(properPart ?HOLE2 ?HOLE1))
(exists
(?OBJ)
(and
(meetsSpatially ?HOLE1 ?OBJ)
(not
(meetsSpatially ?HOLE2 ?OBJ)))))
If obj1 (mei2) tian2 chong1s hole and ke3 tian2 chong1 de5 shi4 obj2 de5 shu3 xing4, then obj1 not(mei2) yu3 obj2 zhong4 die2.
(=>
(and
(fills ?OBJ1 ?HOLE)
(attribute ?OBJ2 Fillable))
(not
(overlapsSpatially ?OBJ1 ?OBJ2)))
If rep shi4 you3 xing4 sheng1 zhi2 de5 shi2 li4 and organism shi4 rep de5 jie2 guo3, then there don't exist mother,father so_that_not mother shi4 organism de5 mu3 qin1 and father shi4 organism de5 fu4 qin1.
(=>
(and
(instance ?REP SexualReproduction)
(result ?REP ?ORGANISM))
(not
(exists
(?MOTHER ?FATHER)
(and
(mother ?ORGANISM ?MOTHER)
(father ?ORGANISM ?FATHER)))))
If rep shi4 wu2 xing4 sheng1 zhi2 de5 shi2 li4 and organism shi4 rep de5 jie2 guo3, then there don't exist parent1,parent2 so_that_not parent1 shi4 organism de5 shuang1 qin1 and parent2 shi4 organism de5 shuang1 qin1 and parent1 deng3 yu1 parent2.
(=>
(and
(instance ?REP AsexualReproduction)
(result ?REP ?ORGANISM))
(not
(exists
(?PARENT1 ?PARENT2)
(and
(parent ?ORGANISM ?PARENT1)
(parent ?ORGANISM ?PARENT2)
(not
(equal ?PARENT1 ?PARENT2))))))
If leave shi4 tuo1 li2 zu3 zhi1 de5 shi2 li4 and org shi4 zu3 zhi1 de5 shi2 li4 and leave shi4 org de5 shi1 shi4 zhe3 and person shi4 leave de5 shou4 shi4 zhe3, then person shi4 orgde5 cheng2 yuan2 ""leave cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4"a(zhi1 zhong1) "leave cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4.
(=>
(and
(instance ?LEAVE LeavingAnOrganization)
(instance ?ORG Organization)
(agent ?LEAVE ?ORG)
(patient ?LEAVE ?PERSON))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?LEAVE))
(not
(member ?PERSON ?ORG))))
If fire shi4 jie3 gu4 de5 shi2 li4 and org shi4 zu3 zhi1 de5 shi2 li4 and fire shi4 org de5 shi1 shi4 zhe3 and person shi4 fire de5 shou4 shi4 zhe3, then org not(mei2) gu4 yong4(s) person ""fire cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4"a(zhi1 zhong1) "fire cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4.
(=>
(and
(instance ?FIRE TerminatingEmployment)
(instance ?ORG Organization)
(agent ?FIRE ?ORG)
(patient ?FIRE ?PERSON))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?FIRE))
(not
(employs ?ORG ?PERSON))))
- if
- path1 ban4 sui2 process fa1 sheng1 de5 processlu4 jing4
and - process (bu2) qi3 yuan2s yu1 source
and - process (bu2) zhong1 jie2not(s) dest
and - path1 de5 chang2 du4 shi4 measure1
and - there don't exist path2,measure2 so_that_not path2 ban4 sui2 process fa1 sheng1 de5 processlu4 jing4 and process (bu2) qi3 yuan2s yu1 origin and process (bu2) zhong1 jie2not(s) dest and path2 de5 chang2 du4 shi4 measure2 and measure2 xiao3 yu1 measure1
, - then for all obj holds: if obj shi4 path1 de5 bu4 fen5), then obj jie4 yu1 source he2 dest zhong1 jian1
.
(=>
(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))))
If proc shi4 fang1 xiang4 de5 gai3 bian4 de5 shi2 li4, then there exists fang1 xiang4 shu3 xing4 attr so_that_not - proc yi3 fang1 shi4 attr zhi2 hang2 ""proc cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2"a(zhi1 zhong1) "proc cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2 and proc yi3 fang1 shi4 attr zhi2 hang2 ""proc cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4"a(zhi1 zhong1) "proc cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4
or - proc yi3 fang1 shi4 attr zhi2 hang2 ""proc cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4"a(zhi1 zhong1) "proc cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4 and proc yi3 fang1 shi4 attr zhi2 hang2 ""proc cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2"a(zhi1 zhong1) "proc cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2
.
(=>
(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))))))))
If transfer shi4 zhuan3 yi2 huo4 zhuan3 huan4 de5 shi2 li4 and transfer shi4 agent de5 shi1 shi4 zhe3 and patient shi4 transfer de5 shou4 shi4 zhe3, then agent deng3 yu1 patient.
(=>
(and
(instance ?TRANSFER Transfer)
(agent ?TRANSFER ?AGENT)
(patient ?TRANSFER ?PATIENT))
(not
(equal ?AGENT ?PATIENT)))
If remove shi4 yi2 chu2 de5 shi2 li4 and remove (bu2) qi3 yuan2s yu1 place and obj shi4 remove de5 shou4 shi4 zhe3, then obj wei4 yu1 place ""remove cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2"a(zhi1 zhong1) "remove cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2 and obj wei4 yu1 place ""remove cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4"a(zhi1 zhong1) "remove cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4.
(=>
(and
(instance ?REMOVE Removing)
(origin ?REMOVE ?PLACE)
(patient ?REMOVE ?OBJ))
(and
(holdsDuring
(ImmediatePastFn
(WhenFn ?REMOVE))
(located ?OBJ ?PLACE))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?REMOVE))
(not
(located ?OBJ ?PLACE)))))
If put shi4 fang4 zhi4 de5 shi2 li4 and put (bu2) zhong1 jie2not(s) place and obj shi4 put de5 shou4 shi4 zhe3, then obj wei4 yu1 place ""put cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2"a(zhi1 zhong1) "put cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2 and obj wei4 yu1 place ""put cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4"a(zhi1 zhong1) "put cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4.
(=>
(and
(instance ?PUT Putting)
(destination ?PUT ?PLACE)
(patient ?PUT ?OBJ))
(and
(holdsDuring
(ImmediatePastFn
(WhenFn ?PUT))
(not
(located ?OBJ ?PLACE)))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?PUT))
(located ?OBJ ?PLACE))))
If sub shi4 ti4 huan4 de5 shi2 li4, then there exist fang4 zhi4 put,yi2 chu2 remove,obj1,obj2,place so_that_not put shi4 sub de5 ci4 li4 cheng2 and remove shi4 sub de5 ci4 li4 cheng2 and obj1 shi4 remove de5 shou4 shi4 zhe3 and remove (bu2) qi3 yuan2s yu1 place and obj2 shi4 put de5 shou4 shi4 zhe3 and put (bu2) zhong1 jie2not(s) place and obj1 deng3 yu1 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)))))
If change shi4 yong1 you3 quan2 de5 zhuan3 yi2 de5 shi2 li4 and obj shi4 change de5 shou4 shi4 zhe3 and agent1 (mei2) yong1 you3not(s) obj ""change cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2"a(zhi1 zhong1) "change cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2 and agent2 (mei2) yong1 you3not(s) obj ""change cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4"a(zhi1 zhong1) "change cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4, then agent1 deng3 yu1 agent2.
(=>
(and
(instance ?CHANGE ChangeOfPossession)
(patient ?CHANGE ?OBJ)
(holdsDuring
(ImmediatePastFn
(WhenFn ?CHANGE))
(possesses ?AGENT1 ?OBJ))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?CHANGE))
(possesses ?AGENT2 ?OBJ)))
(not
(equal ?AGENT1 ?AGENT2)))
If give shi4 dan1 fang1 mian4 de5 gei3 yu3 de5 shi2 li4, then there doesn't exist jiao1 yi4 trans so_that_not give shi4 trans de5 ci4 li4 cheng2.
(=>
(instance ?GIVE UnilateralGiving)
(not
(exists
(?TRANS)
(and
(instance ?TRANS Transaction)
(subProcess ?GIVE ?TRANS)))))
If get shi4 dan1 fang1 mian4 de5 huo4 qu3 de5 shi2 li4, then there doesn't exist jiao1 yi4 trans so_that_not get shi4 trans de5 ci4 li4 cheng2.
(=>
(instance ?GET UnilateralGetting)
(not
(exists
(?TRANS)
(and
(instance ?TRANS Transaction)
(subProcess ?GET ?TRANS)))))
If trans shi4 jiao1 yi4 de5 shi2 li4, then there exist agent1,agent2,gei3 yu3 give1,gei3 yu3 give2,obj1,obj2 so_that_not give1 shi4 trans de5 ci4 li4 cheng2 and give2 shi4 trans de5 ci4 li4 cheng2 and give1 shi4 agent1 de5 shi1 shi4 zhe3 and give2 shi4 agent2 de5 shi1 shi4 zhe3 and obj1 shi4 give1 de5 shou4 shi4 zhe3 and obj2 shi4 give2 de5 shou4 shi4 zhe3 and give1 (bu2) zhong1 jie2not(s) agent2 and give2 (bu2) zhong1 jie2not(s) agent1 and agent1 deng3 yu1 agent2 and obj1 deng3 yu1 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)))))
If confine shi4 xian4 ding4 de5 shi2 li4 and person shi4 confine de5 shou4 shi4 zhe3, then person not(不) 冀求(s) "person shi4 confine de5 shou4 shi4 zhe3".
(=>
(and
(instance ?CONFINE Confining)
(patient ?CONFINE ?PERSON))
(not
(desires
?PERSON
(patient ?CONFINE ?PERSON))))
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)))))))
If attach shi4 tie1 fu4 de5 shi2 li4 and obj1 shi4 attach de5 shou4 shi4 zhe3 and obj2 shi4 attach de5 shou4 shi4 zhe3, then obj1 yu3 obj2 xiang1 lian2 ""attach cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2"a(zhi1 zhong1) "attach cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2 and obj1 yu3 obj2 xiang1 lian2 ""attach cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4"a(zhi1 zhong1) "attach cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4.
(=>
(and
(instance ?ATTACH Attaching)
(patient ?ATTACH ?OBJ1)
(patient ?ATTACH ?OBJ2))
(and
(holdsDuring
(ImmediatePastFn
(WhenFn ?ATTACH))
(not
(connected ?OBJ1 ?OBJ2)))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?ATTACH))
(connected ?OBJ1 ?OBJ2))))
If detach shi4 tuo1 li2 de5 shi2 li4 and obj1 shi4 detach de5 shou4 shi4 zhe3 and obj2 shi4 detach de5 shou4 shi4 zhe3, then obj1 yu3 obj2 xiang1 lian2 ""detach cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2"a(zhi1 zhong1) "detach cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2 and obj1 yu3 obj2 xiang1 lian2 ""detach cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4"a(zhi1 zhong1) "detach cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4.
(=>
(and
(instance ?DETACH Detaching)
(patient ?DETACH ?OBJ1)
(patient ?DETACH ?OBJ2))
(and
(holdsDuring
(ImmediatePastFn
(WhenFn ?DETACH))
(connected ?OBJ1 ?OBJ2))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?DETACH))
(not
(connected ?OBJ1 ?OBJ2)))))
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))))
If change shi4 na4 zai4 gai3 bian4 de5 shi2 li4 and obj shi4 change de5 shou4 shi4 zhe3, then there exists property so_that_not - property shi4 obj de5 shu3 xing4 ""change cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2"a(zhi1 zhong1) "change cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2 and property shi4 obj de5 shu3 xing4 ""change cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4"a(zhi1 zhong1) "change cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4
or - property shi4 obj de5 shu3 xing4 ""change cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2"a(zhi1 zhong1) "change cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2 and property shi4 obj de5 shu3 xing4 ""change cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4"a(zhi1 zhong1) "change cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4
.
(=>
(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))))))
If alt shi4 biao3 mian4 gai3 bian4 de5 shi2 li4 and obj shi4 alt de5 shou4 shi4 zhe3, then there exist part,property so_that_not part shi4 objde5 wai4 biao3 bu4 fen5 and property shi4 part de5 shu3 xing4 ""alt cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2"a(zhi1 zhong1) "alt cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2 and property shi4 part de5 shu3 xing4 ""alt cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4"a(zhi1 zhong1) "alt cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4.
(=>
(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))))))
If alt shi4 xing2 zhuang4 gai3 bian4 de5 shi2 li4 and obj shi4 alt de5 shou4 shi4 zhe3, then there exists xing2 zhuang4 shu3 xing4 property so_that_not - property shi4 obj de5 shu3 xing4 ""alt cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2"a(zhi1 zhong1) "alt cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2 and property shi4 obj de5 shu3 xing4 ""alt cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4"a(zhi1 zhong1) "alt cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4
or - property shi4 obj de5 shu3 xing4 ""alt cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2"a(zhi1 zhong1) "alt cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2 and property shi4 obj de5 shu3 xing4 ""alt cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4"a(zhi1 zhong1) "alt cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4
.
(=>
(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)))))))
If coloring shi4 zhu4 se4 de5 shi2 li4 and obj shi4 coloring de5 shou4 shi4 zhe3, then there exists yan2 se4 shu3 xing4 property so_that_not property shi4 obj de5 shu3 xing4 ""coloring cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2"a(zhi1 zhong1) "coloring cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2 and property shi4 obj de5 shu3 xing4 ""coloring cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4"a(zhi1 zhong1) "coloring cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4.
(=>
(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))))))
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)))))))
If pursue shi4 zhui1 de5 shi2 li4 and pursue shi4 agent de5 shi1 shi4 zhe3 and obj shi4 pursue de5 shou4 shi4 zhe3, then agent not(mei2) yong1 you3(s) obj pursuea(zhi1 zhong1) pursue.
(=>
(and
(instance ?PURSUE Pursuing)
(agent ?PURSUE ?AGENT)
(patient ?PURSUE ?OBJ))
(holdsDuring
?PURSUE
(not
(possesses ?AGENT ?OBJ))))
If investigate shi4 diao4 cha2 de5 shi2 li4 and investigate shi4 agent de5 shi1 shi4 zhe3 and prop shi4 investigate de5 shou4 shi4 zhe3, then agent not(bu2zhi1 dao4 "investigate cun2 zai4 de5 shi2 jian1"a(zhi1 zhong1) investigate cun2 zai4 de5 shi2 jian1.
(=>
(and
(instance ?INVESTIGATE Investigating)
(agent ?INVESTIGATE ?AGENT)
(patient ?INVESTIGATE ?PROP))
(holdsDuring
(WhenFn ?INVESTIGATE)
(not
(knows ?AGENT ?PROP))))
If interaction shi4 ren2 ji4 hu4 dong4 de5 shi2 li4, then there exist agent1,agent2 so_that_not interaction shi4 agent1 de5 shi1 shi4 zhe3 and interaction shi4 agent2 de5 shi1 shi4 zhe3 and agent1 deng3 yu1 agent2.
(=>
(instance ?INTERACTION SocialInteraction)
(exists
(?AGENT1 ?AGENT2)
(and
(agent ?INTERACTION ?AGENT1)
(agent ?INTERACTION ?AGENT2)
(not
(equal ?AGENT1 ?AGENT2)))))
If disseminate shi4 san4 bu4 de5 shi2 li4, then there exist ju4 ren4 zhi1 li4 shi1 shi4 zhe3 agent1,ju4 ren4 zhi1 li4 shi1 shi4 zhe3 agent2 so_that_not disseminate (bu2) zhong1 jie2not(s) agent1 and disseminate (bu2) zhong1 jie2not(s) agent2 and agent1 deng3 yu1 agent2.
(=>
(instance ?DISSEMINATE Disseminating)
(exists
(?AGENT1 ?AGENT2)
(and
(destination ?DISSEMINATE ?AGENT1)
(instance ?AGENT1 CognitiveAgent)
(destination ?DISSEMINATE ?AGENT2)
(instance ?AGENT2 CognitiveAgent)
(not
(equal ?AGENT1 ?AGENT2)))))
If question shi4 xun2 wen4 de5 shi2 li4 and question shi4 agent de5 shi1 shi4 zhe3 and formula shi4 question de5 shou4 shi4 zhe3 and formula shi4 SUO-KIFbiao3 shu4 shi4 de5 shi2 li4, then agent not(bu2zhi1 dao4 "question cun2 zai4 de5 shi2 jian1"a(zhi1 zhong1) question cun2 zai4 de5 shi2 jian1.
(=>
(and
(instance ?QUESTION Questioning)
(agent ?QUESTION ?AGENT)
(patient ?QUESTION ?FORMULA)
(instance ?FORMULA Formula))
(holdsDuring
(WhenFn ?QUESTION)
(not
(knows ?AGENT ?FORMULA))))
If contest shi4 jing4 zheng1 de5 shi2 li4, then there exist agent1,agent2,purp1,purp2 so_that_not contest shi4 agent1 de5 shi1 shi4 zhe3 and contest shi4 agent2 de5 shi1 shi4 zhe3 and contest dui4agent1 you3 yi4 tu2 purp1 and contest dui4agent2 you3 yi4 tu2 purp2 and agent1 deng3 yu1 agent2 and purp1 deng3 yu1 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)))))
If process shi4 zhuang4 tai4 gai3 bian4 de5 shi2 li4 and obj shi4 process de5 shou4 shi4 zhe3, then there exist part,wu4 li3 zhuang4 tai4 state1,wu4 li3 zhuang4 tai4 state2 so_that_not part shi4 obj de5 bu4 fen5) and state1 deng3 yu1 state2 and state1 shi4 part de5 shu3 xing4 ""process cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2"a(zhi1 zhong1) "process cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2 and state2 shi4 part de5 shu3 xing4 ""freeze cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4"a(zhi1 zhong1) "freeze cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4.
(=>
(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)))))
If island shi4 dao3 yu3 de5 shi2 li4, then there don't exist lu4 di4 area,part1,part2 so_that_not part1 shi4 island de5 bu4 fen5) and part2 shi4 area de5 bu4 fen5) and island shi4 area de5 bu4 fen5) and area shi4 island de5 bu4 fen5) and part1 yu3 part2 xiang1 lian2.
(=>
(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)))))
If part shi4 qu1 ti3 bu4 jian4 de5 shi2 li4, then there doesn't exist bing4 li3 li4 cheng2 proc so_that_not part shi4 proc de5 jie2 guo3.
(=>
(instance ?PART BodyPart)
(not
(exists
(?PROC)
(and
(instance ?PROC PathologicProcess)
(result ?PROC ?PART)))))
If junct shi4 qu1 ti3 jie1 dian3 de5 shi2 li4, then there exist qu1 ti3 bu4 jian4 struct1,qu1 ti3 bu4 jian4 struct2 so_that_not junct yu3 struct1 xiang1 lian2 and junct yu3 struct2 xiang1 lian2 and struct1 deng3 yu1 struct2.
(=>
(instance ?JUNCT BodyJunction)
(exists
(?STRUCT1 ?STRUCT2)
(and
(connected ?JUNCT ?STRUCT1)
(connected ?JUNCT ?STRUCT2)
(instance ?STRUCT1 BodyPart)
(instance ?STRUCT2 BodyPart)
(not
(equal ?STRUCT1 ?STRUCT2)))))
If morph shi4 ci2 su4 de5 shi2 li4, then there doesn't exist ci2 su4 othermorph so_that_not othermorph shi4 morph de5 bu4 fen5) and othermorph deng3 yu1 morph.
(=>
(instance ?MORPH Morpheme)
(not
(exists
(?OTHERMORPH)
(and
(instance ?OTHERMORPH Morpheme)
(part ?OTHERMORPH ?MORPH)
(not
(equal ?OTHERMORPH ?MORPH))))))
If phrase shi4 ci2 zu3 de5 shi2 li4, then there exist ci2 part1,ci2 part2 so_that_not part1 shi4 phrase de5 bu4 fen5) and part2 shi4 phrase de5 bu4 fen5) and part1 deng3 yu1 part2.
(=>
(instance ?PHRASE Phrase)
(exists
(?PART1 ?PART2)
(and
(part ?PART1 ?PHRASE)
(part ?PART2 ?PHRASE)
(instance ?PART1 Word)
(instance ?PART2 Word)
(not
(equal ?PART1 ?PART2)))))
If series shi4 xi4 lie4 kan1 wu4 de5 shi2 li4, then there exist shu1 ji2 book1,shu1 ji2 book2 so_that_not series bao1 rong2 book1 and series bao1 rong2 book2 and book1 deng3 yu1 book2.
(=>
(instance ?SERIES Series)
(exists
(?BOOK1 ?BOOK2)
(and
(instance ?BOOK1 Book)
(instance ?BOOK2 Book)
(subsumesContentInstance ?SERIES ?BOOK1)
(subsumesContentInstance ?SERIES ?BOOK2)
(not
(equal ?BOOK1 ?BOOK2)))))
If mole shi4 fen1 zi3 de5 shi2 li4, then there exist yuan2 zi3 atom1,yuan2 zi3 atom2 so_that_not atom1 shi4 mole de5 bu4 fen5) and atom2 shi4 mole de5 bu4 fen5) and atom1 deng3 yu1 atom2.
(=>
(instance ?MOLE Molecule)
(exists
(?ATOM1 ?ATOM2)
(and
(instance ?ATOM1 Atom)
(instance ?ATOM2 Atom)
(part ?ATOM1 ?MOLE)
(part ?ATOM2 ?MOLE)
(not
(equal ?ATOM1 ?ATOM2)))))
If comp1 yu3 comp2 lian2 jie2, then comp1 shi4 comp2 de5 yuan2 jian4 and comp2 shi4 comp1 de5 yuan2 jian4.
(=>
(connectedEngineeringComponents ?COMP1 ?COMP2)
(and
(not
(engineeringSubcomponent ?COMP1 ?COMP2))
(not
(engineeringSubcomponent ?COMP2 ?COMP1))))
If comp1 yu3 comp2 lian2 jie2, then comp1 shi4 gong1 cheng2 lian2 jie2 yuan2 jian4 de5 shi2 li4 and comp2 shi4 gong1 cheng2 lian2 jie2 yuan2 jian4 de5 shi2 li4.
(=>
(connectedEngineeringComponents ?COMP1 ?COMP2)
(not
(or
(instance ?COMP1 EngineeringConnection)
(instance ?COMP2 EngineeringConnection))))
If obj1 dui4 obj2 shi4 attr1 and dui4 li4 yu1 ? and attr1 shi4 "()" de5 yi1 cheng2 yuan2 and attr2 shi4 "()" de5 yi1 cheng2 yuan2 and attr1 deng3 yu1 attr2, then obj1 dui4 obj2 shi4 not attr2.
(=>
(and
(orientation ?OBJ1 ?OBJ2 ?ATTR1)
(contraryAttribute @ROW)
(inList
?ATTR1
(ListFn @ROW))
(inList
?ATTR2
(ListFn @ROW))
(not
(equal ?ATTR1 ?ATTR2)))
(not
(orientation ?OBJ1 ?OBJ2 ?ATTR2)))
If obj1 dui4 obj2 shi4 attr1 and attr1 shi4 fang1 xiang4 shu3 xing4 de5 shi2 li4 and attr2 shi4 fang1 xiang4 shu3 xing4 de5 shi2 li4 and attr1 deng3 yu1 attr2, then obj1 dui4 obj2 shi4 not attr2.
(=>
(and
(orientation ?OBJ1 ?OBJ2 ?ATTR1)
(instance ?ATTR1 DirectionalAttribute)
(instance ?ATTR2 DirectionalAttribute)
(not
(equal ?ATTR1 ?ATTR2)))
(not
(orientation ?OBJ1 ?OBJ2 ?ATTR2)))
If obj1 dui4 obj2 shi4 zai4...zhi1 shang4, then obj1 yu3 obj2 xiang1 lian2.
(=>
(orientation ?OBJ1 ?OBJ2 Above)
(not
(connected ?OBJ1 ?OBJ2)))
If obj1 dui4 obj2 shi4 jie1 jin4, then obj1 yu3 obj2 xiang1 lian2.
(=>
(orientation ?OBJ1 ?OBJ2 Near)
(not
(connected ?OBJ1 ?OBJ2)))
If obj1 dui4 obj2 shi4 zai4...shang4, then obj2 dui4 obj1 shi4 not zai4...shang4.
(=>
(orientation ?OBJ1 ?OBJ2 On)
(not
(orientation ?OBJ2 ?OBJ1 On)))
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)))
If duo1 cai3 de5 shi4 obj de5 shu3 xing4, then there exist part1,part2,yan2 se4 shu3 xing4 color1,yan2 se4 shu3 xing4 color2 so_that_not part1 shi4 objde5 wai4 biao3 bu4 fen5 and part2 shi4 objde5 wai4 biao3 bu4 fen5 and color1 shi4 part1 de5 shu3 xing4 and color2 shi4 part2 de5 shu3 xing4 and color1 deng3 yu1 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)))))
If qian2 de5 shi4 obj de5 shu3 xing4, then there doesn't exist subobj so_that_not subobj shi4 obj de5 bu4 fen5) and ye4 ti1 de5 shi4 subobj de5 shu3 xing4.
(=>
(attribute ?OBJ Dry)
(not
(exists
(?SUBOBJ)
(and
(part ?SUBOBJ ?OBJ)
(attribute ?SUBOBJ Liquid)))))
If bu2 yi4 sui4 de5 shi4 obj de5 shu3 xing4, then there doesn't exist sun3 hai4 damage so_that_not obj shi4 damage de5 shou4 shi4 zhe3.
(=>
(attribute ?OBJ Unbreakable)
(not
(exists
(?DAMAGE)
(and
(instance ?DAMAGE Damaging)
(patient ?DAMAGE ?OBJ)))))
If pei1 tai1 de5 shi4 org de5 shu3 xing4 timea(zhi1 zhong1) time, then there doesn't exist dan4 sheng1 birth so_that_not org (mei2) ti3 yan4not(s) birth timea(zhi1 zhong1) time.
(=>
(holdsDuring
?TIME
(attribute ?ORG Embryonic))
(holdsDuring
?TIME
(not
(exists
(?BIRTH)
(and
(instance ?BIRTH Birth)
(experiencer ?BIRTH ?ORG))))))
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)))
