| appearance as argument number 1 |
|
| (documentation hole ChineseLanguage "(hole ?HOLE ?OBJ)的意思是 ?HOLE 是在 ?OBJ 的一个 Hole。 一个 Hole 是位于一个 Object surface 可以被填满的部分。") | chinese_format.kif 2855-2856 | |
| (documentation hole EnglishLanguage "(hole ?HOLE ?OBJ) means that ?HOLE is a Hole in ?OBJ. A Hole is a fillable body located at the surface an Object.") | Merge.kif 9264-9265 | |
| (domain hole 1 Hole) | Merge.kif 9261-9261 | |
| (domain hole 2 SelfConnectedObject) | Merge.kif 9262-9262 | |
| (instance hole AsymmetricRelation) | Merge.kif 9260-9260 | |
| (instance hole BinaryPredicate) | Merge.kif 9258-9258 | |
| (instance hole SpatialRelation) | Merge.kif 9259-9259 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage hole "%1 %n 是 %2 内的 hole") | chinese_format.kif 377-377 | |
| (format EnglishLanguage hole "%1 is %n a hole in %2") | english_format.kif 381-381 | |
| (termFormat ChineseLanguage hole "洞") | chinese_format.kif 378-378 |
| antecedent |
|
|
| (=> (and (hole ?HOLE ?OBJ1) (hole ?HOLE ?OBJ2)) (exists (?OBJ3) (and (properPart ?OBJ3 (MereologicalProductFn ?OBJ1 ?OBJ2)) (hole ?HOLE ?OBJ3)))) |
Merge.kif 9297-9304 | |
| (=> (and (hole ?HOLE ?OBJ1) (part ?OBJ1 ?OBJ2)) (or (overlapsSpatially ?HOLE ?OBJ2) (hole ?HOLE ?OBJ2))) |
Merge.kif 9315-9321 | |
| (=> (and (hole ?HOLE1 ?OBJ) (hole ?HOLE2 ?OBJ)) (forall (?HOLE3) (=> (part ?HOLE3 (MereologicalSumFn ?HOLE1 ?HOLE2)) (hole ?HOLE3 ?OBJ)))) |
Merge.kif 9306-9313 | |
| (=> (and (hole ?HOLE1 ?OBJ1) (hole ?HOLE2 ?OBJ2) (overlapsSpatially ?HOLE1 ?HOLE2)) (overlapsSpatially ?OBJ1 ?OBJ2)) |
Merge.kif 9323-9328 | |
| (=> (and (instance ?land CaveMatrix) (instance ?cave Cave) (hole ?cave ?land)) (equal ?land (HoleSkinFn ?cave))) |
Geography.kif 5656-5661 | |
| (=> (hole ?HOLE ?OBJ) (connected ?HOLE ?OBJ)) |
Merge.kif 9347-9349 | |
| (=> (hole ?HOLE ?OBJ) (not (instance ?OBJ Hole))) |
Merge.kif 9287-9290 | |
| (=> (hole ?HOLE ?OBJ) (not (overlapsSpatially ?HOLE ?OBJ))) |
Merge.kif 9292-9295 |
| consequent |
|
|
| (<=> (contains ?OBJ1 ?OBJ2) (exists (?HOLE) (and (hole ?HOLE ?OBJ1) (properlyFills ?OBJ2 ?HOLE)))) |
Merge.kif 953-958 | |
| (<=> (instance ?HOLE Hole) (exists (?OBJ) (hole ?HOLE ?OBJ))) |
Merge.kif 9282-9285 | |
| (=> (and (hole ?HOLE ?OBJ1) (hole ?HOLE ?OBJ2)) (exists (?OBJ3) (and (properPart ?OBJ3 (MereologicalProductFn ?OBJ1 ?OBJ2)) (hole ?HOLE ?OBJ3)))) |
Merge.kif 9297-9304 | |
| (=> (and (hole ?HOLE ?OBJ1) (part ?OBJ1 ?OBJ2)) (or (overlapsSpatially ?HOLE ?OBJ2) (hole ?HOLE ?OBJ2))) |
Merge.kif 9315-9321 | |
| (=> (and (hole ?HOLE1 ?OBJ) (hole ?HOLE2 ?OBJ)) (forall (?HOLE3) (=> (part ?HOLE3 (MereologicalSumFn ?HOLE1 ?HOLE2)) (hole ?HOLE3 ?OBJ)))) |
Merge.kif 9306-9313 | |
| (=> (and (instance ?DRILL Drilling) (patient ?DRILL ?OBJ)) (exists (?HOLE) (and (holdsDuring (BeginFn (WhenFn ?DRILL)) (not (hole ?HOLE ?OBJ))) (holdsDuring (EndFn (WhenFn ?DRILL)) (hole ?HOLE ?OBJ))))) |
Mid-level-ontology.kif 15819-15826 | |
| (=> (and (instance ?W Whiskey) (instance ?D Distilling) (result ?D ?W) (resource ?DR ?W) (instance ?DR Drinking)) (exists (?C ?T) (and (instance ?C Cask) (instance ?H Hole) (hole ?H ?C) (holdsDuring ?T (partiallyFills ?W ?C)) (earlier ?D ?T) (earlier ?T ?DR)))) |
Food.kif 1040-1055 | |
| (=> (attribute ?C ContainerEmpty) (not (exists (?H ?S) (and (instance ?H Hole) (hole ?H ?C) (partiallyFills ?S ?C))))) |
Mid-level-ontology.kif 2038-2045 | |
| (=> (attribute ?C ContainerFull) (exists (?H ?S) (and (instance ?H Hole) (hole ?H ?C) (fills ?S ?C)))) |
Mid-level-ontology.kif 2056-2062 | |
| (=> (instance ?Canyon Canyon) (exists (?Hole) (hole ?Hole ?Canyon))) |
Geography.kif 4042-4045 | |
| (=> (instance ?R (OperatingFn InternalCombustionEngine)) (exists (?E ?C ?F) (and (instance ?E InternalCombustionEngine) (instrument ?R ?E) (hole ?C ?E) (instance ?F Combustion) (completelyFills ?F ?C)))) |
Mid-level-ontology.kif 2184-2192 | |
| (=> (instance ?S Sandal) (exists (?H1 ?H2) (and (instance ?H1 Hole) (hole ?H1 ?S) (instance ?H2 Hole) (hole ?H2 ?S) (not (equal ?H1 ?H2)) (hasPurpose ?H1 (exists (?D ?F ?A ?I) (and (instance ?D Dressing) (instance ?F Foot) (agent ?D ?A) (part ?F ?A) (subProcess ?I ?D) (instance ?I Inserting) (patient ?I ?F) (destination ?I ?H1))))))) |
Mid-level-ontology.kif 5498-5518 | |
| (=> (instance ?Slot ATMSlot) (exists (?ATM) (and (instance ?ATM ATMMachine) (hole ?Slot ?ATM)))) |
FinancialOntology.kif 3561-3566 | |
| (=> (instance ?X FuelCapLock) (hasPurpose ?X (exists (?TANK ?HOLE) (and (instance ?TANK GasTank) (hole ?HOLE ?TANK) (decreasesLikelihood (holdsDuring ?T (and (connected ?X ?HOLE) (attribute ?X Locked))) (holdsDuring ?T (exists (?STEAL ?FUEL) (and (instance ?STEAL Stealing) (instance ?FUEL Fuel) (located ?FUEL ?TANK) (patient ?STEAL ?FUEL))))))))) |
Cars.kif 1007-1025 | |
| (=> (instance ?cave Cave) (exists (?land) (and (instance ?land CaveMatrix) (hole ?cave ?land)))) |
Geography.kif 5649-5654 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners