TreeView Knowledge Base Browser

appearance as argument number 1

(documentation Container EnglishLanguage "Any Holder whose purpose is to contain something else. Note that Container is more specific in meaning than Holder, because a Container must have a HoleRegion that is at least partially filled by the thing contained.")	Mid-level-ontology.kif 4440-4443
(externalImage Container "http://upload.wikimedia.org/wikipedia/commons/ 1/ 11/ Safe.jpg")	pictureList.kif 1717-1717
(externalImage Container "http://upload.wikimedia.org/wikipedia/commons/ 2/ 20/ Ceramic_planter_from_the_Ming_Dynasty.jpg")	pictureList.kif 34-34
(externalImage Container "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9d/ Baskets_four_styles.jpg")	pictureList.kif 35-35
(subclass Container Holder)	Mid-level-ontology.kif 4439-4439	Container は Holder の subclass では %n

appearance as argument number 2

(subclass Bag Container)	Mid-level-ontology.kif 4449-4449	Bag は Container の subclass では %n
(subclass Box Container)	Mid-level-ontology.kif 4467-4467	Box は Container の subclass では %n
(subclass ChestOrCabinet Container)	Mid-level-ontology.kif 4143-4143	ChestOrCabinet は Container の subclass では %n
(subclass Coffin Container)	Mid-level-ontology.kif 4147-4147	Coffin は Container の subclass では %n
(subclass Compartment Container)	Mid-level-ontology.kif 4157-4157	Compartment は Container の subclass では %n
(subclass Envelope Container)	Mid-level-ontology.kif 4663-4663	Envelope は Container の subclass では %n
(subclass FluidContainer Container)	Mid-level-ontology.kif 4673-4673	FluidContainer は Container の subclass では %n
(subclass Holster Container)	Mid-level-ontology.kif 1647-1647	Holster は Container の subclass では %n
(subclass Mailbox Container)	Mid-level-ontology.kif 4169-4169	Mailbox は Container の subclass では %n
(subclass Oven Container)	Mid-level-ontology.kif 2311-2311	Oven は Container の subclass では %n
(subclass Pericardium Container)	Mid-level-ontology.kif 11415-11415	Pericardium は Container の subclass では %n
(subclass PorousContainer Container)	Mid-level-ontology.kif 4510-4510	PorousContainer は Container の subclass では %n
(subclass PotOrPan Container)	Mid-level-ontology.kif 2342-2342	PotOrPan は Container の subclass では %n
(subclass ProductPackage Container)	Economy.kif 5155-5155	ProductPackage は Container の subclass では %n
(subclass ProjectileShell Container)	Mid-level-ontology.kif 1114-1114	ProjectileShell は Container の subclass では %n
(subclass Refrigerator Container)	Mid-level-ontology.kif 2337-2337	Refrigerator は Container の subclass では %n
(subclass SafeContainer Container)	Mid-level-ontology.kif 2714-2714	SafeContainer は Container の subclass では %n
(subclass ShipContainer Container)	Transportation.kif 2596-2596	ShipContainer は Container の subclass では %n
(subclass TravelContainer Container)	Mid-level-ontology.kif 4668-4668	TravelContainer は Container の subclass では %n
(subclass Wastebasket Container)	Mid-level-ontology.kif 1659-1659	Wastebasket は Container の subclass では %n
(termFormat ChineseLanguage Container "容器")	domainEnglishFormat.kif 16896-16896
(termFormat ChineseTraditionalLanguage Container "容器")	domainEnglishFormat.kif 16895-16895
(termFormat EnglishLanguage Container "container")	domainEnglishFormat.kif 16894-16894

antecedent

(=>
    (instance ?CONTAINER Container)
    (hasPurpose ?CONTAINER
        (exists (?OBJ)
            (contains ?CONTAINER ?OBJ))))

Mid-level-ontology.kif 4445-4447

物理は Container の instance では %n
物理はエンティティー物理はエンティティーを contains %n{ない} の目的 %n{ない}

consequent

(=> (attribute ?C ContainerEmpty) (instance ?C Container))	Mid-level-ontology.kif 1617-1619	ContainerEmpty はオブジェクトの attribute では %n オブジェクトは Container の instance では %n
(=> (attribute ?C ContainerFull) (instance ?C Container))	Mid-level-ontology.kif 1635-1637	ContainerFull はオブジェクトの attribute では %n オブジェクトは Container の instance では %n
(=> (instance ?C Compartment) (exists (?O) (and (instance ?O Container) (not (equal ?C ?O)) (part ?C ?O))))	Mid-level-ontology.kif 4161-4167	オブジェクトは Compartment の instance では %n オブジェクトオブジェクトは Container の instance では %n オブジェクトはオブジェクトと equal ではオブジェクトはオブジェクトの part では %n
(=> (instance ?HS HeatSealer) (hasPurpose ?HS (exists (?CLOSE ?PLAST ?CONT ?HEAT) (and (instance ?CONT Container) (instance ?PLAST Plastic) (instance ?CLOSE Closing) (instance ?HEAT Heating) (instrument ?CLOSE ?HS) (instrument ?CLOSE ?PLAST) (agent ?HEAT ?HS) (patient ?HEAT ?PLAST) (result ?HEAT ?CLOSE) (patient ?CLOSE ?CONT)))))	Economy.kif 5163-5177	物理は HeatSealer の instance では %n 物理はエンティティーエンティティー, エンティティー and エンティティーエンティティーは Container の instance では %n エンティティーは Plastic の instance では %n エンティティーは Closing の instance では %n エンティティーは加熱の instance では %n 物理はエンティティーの instrument では %n エンティティーはエンティティーの instrument では %n 物理はエンティティーの agent では %n エンティティーはエンティティーの patient では %n エンティティーはエンティティーの result では %n エンティティーはエンティティーの patient では %n の目的 %n{ない}
(=> (instance ?L Lid) (exists (?C) (and (instance ?C Container) (part ?L ?C) (capability Closing instrument ?L) (capability Opening instrument ?L) (top ?L ?C))))	Mid-level-ontology.kif 4012-4020	自己接続オブジェクトは Lid の instance では %n 自己接続オブジェクト自己接続オブジェクトは Container の instance では %n 自己接続オブジェクトは自己接続オブジェクトの part では %n 自己接続オブジェクトは Closing を instrument として行う capable では %n 自己接続オブジェクトは Opening を instrument として行う capable では %n 自己接続オブジェクトの top は自己接続オブジェクトでは
(=> (instance ?POUR Pouring) (exists (?LIQUID ?CONTAINER1 ?CONTAINER2) (and (origin ?POUR ?CONTAINER1) (destination ?POUR ?CONTAINER2) (instance ?CONTAINER1 Container) (instance ?CONTAINER2 Container) (not (equal ?CONTAINER1 ?CONTAINER2)) (patient ?POUR ?LIQUID) (attribute ?LIQUID Liquid) (instance ?LIQUID Substance))))	Mid-level-ontology.kif 17565-17576	工程は Pouring の instance では %n オブジェクトオブジェクト and エンティティー工程はオブジェクトから originates %n{ない} 工程はエンティティーに ends %n{ない} オブジェクトは Container の instance では %n エンティティーは Container の instance では %n オブジェクトはエンティティーと equal ではオブジェクトは工程の patient では %n Liquid はオブジェクトの attribute では %n オブジェクトは物質の instance では %n
(=> (rainfallIntensity ?AREA ?TIME ?RATE) (exists (?RAIN ?CLTN ?R ?BUCKET ?TOP ?BOTTOM ?RAINFALL) (and (instance ?RAIN Raining) (eventLocated ?RAIN ?AREA) (during (WhenFn ?RAIN) ?TIME) (instance ?CLTN Collection) (objectTransferred ?RAIN ?CLTN) (instance ?R Water) (member ?R ?CLTN) (instance ?BUCKET Container) (bottom ?BOTTOM ?BUCKET) (attribute ?BOTTOM Flat) (located ?BUCKET ?AREA) (holdsDuring (BeginFn ?TIME) (attribute ?BUCKET ContainerEmpty)) (holdsDuring (EndFn ?TIME) (and (located ?CLTN ?BUCKET) (top ?TOP ?CLTN) (depth ?TOP ?BOTTOM ?RAINFALL) (equal ?RAINFALL (MultiplicationFn ?TIME ?RATE)))))))	Weather.kif 2813-2838	rainfallIntensity 地理的地域, 時間間隔 and 関数量移動コレクション, 物理, 自己接続オブジェクト, エンティティー, 自己接続オブジェクト and 移動FALL 移動は Raining の instance では %n eventLocated 移動 and 地理的地域移動の time の existence は時間間隔の during に takes %n{ない} コレクションはコレクションの instance では %n objectTransferred 移動 and コレクション物理は水の instance では %n 物理はコレクションの member では %n 自己接続オブジェクトは Container の instance では %n 自己接続オブジェクトの bottom は自己接続オブジェクトでは %n Flat は自己接続オブジェクトの attribute では %n 自己接続オブジェクトは地理的地域に located して %n ContainerEmpty は自己接続オブジェクトの attribute では %n は時間間隔の beginning の during holds %n{ない} コレクションは自己接続オブジェクトに located して %n コレクションの top はエンティティーでは depth エンティティー, 自己接続オブジェクト and 移動FALL 移動FALL は時間間隔 + 関数量と equal では %n は時間間隔の end の during holds %n{ない}

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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

KB Term:			Term intersection

English Word: