| appearance as argument number 1 |
|
| (disjointRelation contains part) | Merge.kif 943-943 | |
| (documentation contains ChineseLanguage "这是两个可分离物体的空间容量关系。 用于不可分离的物体（如汽 车和它的座位)时，应该用 part 这关系。(contains ?OBJ1 ?OBJ2) 的意思是 SelfConnectedObject ?OBJ1 有一个空间（即一个 Hole)，而它 至少由 ?OBJ2 填满了一部分。。") | chinese_format.kif 1584-1586 | |
| (documentation contains EnglishLanguage "The relation of spatial containment for two separable objects. When the two objects are not separable (e.g. an automobile and one of its seats), the relation of part should be used. (contains ?OBJ1 ?OBJ2) means that the SelfConnectedObject ?OBJ1 has a space (i.e. a Hole) which is at least partially filled by ?OBJ2.") | Merge.kif 947-951 | |
| (domain contains 1 SelfConnectedObject) | Merge.kif 944-944 | |
| (domain contains 2 Object) | Merge.kif 945-945 | |
| (instance contains AsymmetricRelation) | Merge.kif 941-941 | |
| (instance contains PartialValuedRelation) | Merge.kif 942-942 | |
| (instance contains SpatialRelation) | Merge.kif 940-940 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage contains "%1 %n{doesn't} contains %2") | chinese_format.kif 800-800 | |
| (format EnglishLanguage contains "%1 %n{doesn't} contain%p{s} %2") | english_format.kif 811-811 | |
| (format EnglishLanguage contains "%1 は %2 を contain%p{s} %n{ない}") | english_format.kif 812-812 | |
| (termFormat ChineseLanguage contains "包含") | domainEnglishFormat.kif 16855-16855 | |
| (termFormat ChineseLanguage contains "容纳") | chinese_format.kif 801-801 | |
| (termFormat ChineseTraditionalLanguage contains "包含") | domainEnglishFormat.kif 16854-16854 | |
| (termFormat EnglishLanguage contains "contains") | domainEnglishFormat.kif 16853-16853 |
| antecedent |
|
|
| (<=> (contains ?OBJ1 ?OBJ2) (exists (?HOLE) (and (hole ?HOLE ?OBJ1) (properlyFills ?OBJ2 ?HOLE)))) |
Merge.kif 953-958 | |
| (=> (and (albumCoverImage ?A ?I) (instance ?CD (AlbumCopiesFn ?A ?DS)) (contains ?C ?CD)) (modalAttribute (part ?I (FrontFn ?C)) Likely)) |
Music.kif 313-319 | |
| (=> (and (instance ?AS AutomobileShock) (instance ?C Compressing) (instance ?H Hole) (attribute ?F Fluid) (equal ?AS (HoleHostFn ?H)) (contains ?AS ?F) (patient ?C ?AS)) (exists (?T) (and (instance ?T Transfer) (objectTransferred ?T ?F) (path ?T ?H) (causes ?C ?T)))) |
Cars.kif 862-876 | |
| (=> (and (instance ?BOTTLE Bottle) (contains ?BOTTLE ?STUFF)) (attribute ?STUFF Liquid)) |
Mid-level-ontology.kif 5018-5022 | |
| (=> (and (instance ?C Cavitating) (instance ?P Pump) (attribute ?P DeviceOn) (attribute ?L1 Liquid) (contains ?P ?L1)) (exists (?PP) (and (part ?PP ?P) (hasPurpose ?PP (and (attribute ?L2 Liquid) (meetsSpatially ?L2 ?PP))) (holdsDuring (WhenFn ?C) (not (exists (?L3) (and (attribute ?L3 Liquid) (meetsSpatially ?PP ?L3)))))))) |
Cars.kif 1737-1757 | |
| (=> (and (instance ?CUP DrinkingCup) (contains ?CUP ?STUFF)) (instance ?STUFF Beverage)) |
Mid-level-ontology.kif 5038-5042 | |
| (=> (and (instance ?E InternalCombustionEngine) (instance ?CC CombustionChamber) (part ?CC ?E) (instance ?F Fuel) (instance ?M UnitOfVolume) (holdsDuring ?T (and (contains ?CC ?F) (measure ?F (MeasureFn ?N1 ?M)) (attribute ?E EngineFlooded)))) (hasPurpose ?CC (not (exists (?F2) (and (instance ?F2 Fuel) (contains ?CC ?F2) (measure ?F2 (MeasureFn ?N2 ?M)) (greaterThanOrEqualTo ?N2 ?N1)))))) |
Cars.kif 2796-2815 | |
| (=> (and (instance ?P SwimmingPool) (contains ?P ?F) (instance ?F Fluid)) (instance ?F Water)) |
Mid-level-ontology.kif 5057-5062 | |
| (=> (and (instance ?TANK FluidContainer) (contains ?TANK ?STUFF)) (attribute ?STUFF Fluid)) |
Mid-level-ontology.kif 5008-5012 | |
| (=> (and (instance ?X HeatedPool) (contains ?X ?WATER) (instance ?WATER Water) (part ?X ?HEATER) (instance ?HEATER WaterHeater) (attribute ?HEATER DeviceOn)) (attribute ?WATER WarmTemperature)) |
Mid-level-ontology.kif 25041-25049 | |
| (=> (and (measure ?OBJ1 ?MEAS) (contains ?OBJ2 ?OBJ1)) (capacity ?OBJ2 ?MEAS)) |
Mid-level-ontology.kif 6330-6334 | |
| (=> (contains ?SMALL ?BIG) (partlyLocated ?SMALL ?BIG)) |
Merge.kif 936-938 |
| consequent |
|
|
| (=> (and (instance ?E InternalCombustionEngine) (instance ?CC CombustionChamber) (part ?CC ?E) (instance ?F Fuel) (instance ?M UnitOfVolume) (holdsDuring ?T (and (contains ?CC ?F) (measure ?F (MeasureFn ?N1 ?M)) (attribute ?E EngineFlooded)))) (hasPurpose ?CC (not (exists (?F2) (and (instance ?F2 Fuel) (contains ?CC ?F2) (measure ?F2 (MeasureFn ?N2 ?M)) (greaterThanOrEqualTo ?N2 ?N1)))))) |
Cars.kif 2796-2815 | |
| (=> (and (instance ?F Faucet) (instance ?LM LiquidMotion) (patient ?LM ?L) (located ?LM ?F)) (holdsDuring (ImmediateFutureFn (WhenFn ?LM)) (not (exists (?T) (and (instance ?T Tube) (contains ?T ?L)))))) |
engineering.kif 938-951 | |
| (=> (and (instance ?INSERT Inserting) (patient ?INSERT ?OBJ1) (destination ?INSERT ?OBJ2)) (and (holdsDuring (BeginFn (WhenFn ?INSERT)) (not (contains ?OBJ2 ?OBJ1))) (holdsDuring (EndFn (WhenFn ?INSERT)) (contains ?OBJ2 ?OBJ1)))) |
Merge.kif 10624-10631 | |
| (=> (and (wears ?H ?T) (instance ?T Trousers)) (exists (?L) (and (instance ?L Leg) (part ?L ?H) (contains ?T ?L)))) |
Mid-level-ontology.kif 5457-5465 | |
| (=> (and (wears ?P ?S) (instance ?S Sleeve)) (exists (?A) (and (instance ?A Arm) (part ?A ?P) (contains ?S ?A)))) |
Mid-level-ontology.kif 5554-5562 | |
| (=> (and (wears ?P ?S) (instance ?S Sock)) (exists (?F) (and (instance ?F Foot) (part ?F ?P) (contains ?S ?F)))) |
Mid-level-ontology.kif 5531-5539 | |
| (=> (and (wears ?P ?T) (instance ?T TieClothing)) (exists (?N) (and (instance ?N Neck) (part ?N ?P) (contains ?T ?N)))) |
Mid-level-ontology.kif 5385-5393 | |
| (=> (attribute ?X WaterBed) (exists (?MATTRESS ?WATER) (and (component ?MATTRESS ?X) (contains ?MATTRESS ?WATER) (instance ?WATER Water)))) |
Mid-level-ontology.kif 4589-4595 | |
| (=> (instance ?AI AirIntake) (hasPurpose ?AI (exists (?A) (and (instance ?A Air) (contains ?AI ?A))))) |
Cars.kif 956-962 | |
| (=> (instance ?B Balloon) (hasPurpose ?B (exists (?G) (and (attribute ?G Gas) (contains ?B ?G))))) |
Cars.kif 3570-3576 | |
| (=> (instance ?B Bloating) (exists (?P ?S ?I ?G) (and (experiencer ?B ?P) (instance ?G Gas) (or (and (part ?I ?P) (instance ?I Intestine) (contains ?I ?G)) (and (part ?S ?P) (instance ?S Stomach) (contains ?S ?G)))))) |
Mid-level-ontology.kif 6151-6165 | |
| (=> (instance ?BA BleedingAir) (hasPurpose ?BA (exists (?FC ?A) (and (instance ?FC FluidContainer) (instance ?A Air) (holdsDuring (ImmediatePastFn ?BA) (contains ?FC ?A)) (holdsDuring (ImmediateFutureFn ?BA) (not (contains ?FC ?A))))))) |
Cars.kif 1515-1525 | |
| (=> (instance ?BAG Bag) (hasPurpose ?BAG (exists (?T ?OBJ) (and (instance ?T Transfer) (instance ?OBJ Object) (contains ?BAG ?OBJ) (instrument ?T ?BAG) (patient ?T ?OBJ))))) |
Mid-level-ontology.kif 4943-4952 | |
| (=> (instance ?C SpinalCord) (exists (?S) (and (instance ?S SpinalColumn) (contains ?S ?C)))) |
Mid-level-ontology.kif 9418-9423 | |
| (=> (instance ?CONTAINER Container) (hasPurpose ?CONTAINER (exists (?OBJ) (contains ?CONTAINER ?OBJ)))) |
Mid-level-ontology.kif 4924-4926 | |
| (=> (instance ?FT FishTank) (hasPurpose ?FT (exists (?W ?F) (and (instance ?W Water) (instance ?F Fish) (contains ?FT ?W) (contains ?FT ?F))))) |
Mid-level-ontology.kif 27719-27727 | |
| (=> (instance ?G Gasket) (hasPurpose ?G (exists (?O1 ?O2) (and (instance ?O1 CorpuscularObject) (instance ?O2 CorpuscularObject) (meetsSpatially ?O1 ?G) (meetsSpatially ?O2 ?G) (not (exists (?H) (and (instance ?H Hole) (equal ?G (HoleHostFn ?H)) (instance ?T Translocation) (path ?T ?H) (origin ?T ?O) (destination ?T ?D) (contains ?O1 ?O) (not (contains ?O1 ?D)) (meetsSpatially ?O1 ?D) (not (exists (?O3) (and (contains ?H ?O3) (not (contains ?O1 ?O3)) (not (contains ?O2 ?O3)))))))))))) |
Cars.kif 2828-2857 | |
| (=> (instance ?GARAGE Garage) (hasPurpose ?GARAGE (exists (?AUTO) (and (instance ?AUTO RoadVehicle) (contains ?GARAGE ?AUTO))))) |
Mid-level-ontology.kif 13214-13220 | |
| (=> (instance ?GT GasTank) (hasPurpose ?GT (exists (?F ?T ?E) (and (instance ?F Fuel) (contains ?GT ?F) (instance ?E Engine) (instance ?T Transfer) (origin ?T ?GT) (destination ?T ?E) (patient ?T ?F))))) |
Cars.kif 991-1002 | |
| (=> (instance ?GT GasTank) (hasPurpose ?GT (exists (?F) (and (instance ?F Fuel) (contains ?GT ?F))))) |
Cars.kif 983-989 | |
| (=> (instance ?H Holster) (hasPurpose ?H (exists (?P) (and (instance ?P Pistol) (contains ?H ?P))))) |
Mid-level-ontology.kif 2068-2074 | |
| (=> (instance ?HTB HandToolBox) (hasPurpose ?HTB (exists (?HT) (and (instance ?HT HandTool) (contains ?HTB ?HT))))) |
Cars.kif 4806-4812 | |
| (=> (instance ?OP OilPan) (hasPurpose ?OP (exists (?O) (and (instance ?O Oil) (contains ?OP ?O))))) |
Cars.kif 3298-3304 | |
| (=> (instance ?T Tomb) (hasPurpose ?T (exists (?P) (and (attribute ?P Dead) (contains ?T ?P))))) |
Mid-level-ontology.kif 6512-6518 | |
| (=> (instance ?TUB BathTub) (hasPurpose ?TUB (exists (?WATER) (and (instance ?WATER Water) (contains ?TUB ?WATER))))) |
Mid-level-ontology.kif 2515-2521 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners