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 ist eine teilkategorie von Holder

appearance as argument number 2

(subclass Bag Container)	Mid-level-ontology.kif 4449-4449	Bag ist eine teilkategorie von Container
(subclass Box Container)	Mid-level-ontology.kif 4467-4467	Box ist eine teilkategorie von Container
(subclass ChestOrCabinet Container)	Mid-level-ontology.kif 4143-4143	ChestOrCabinet ist eine teilkategorie von Container
(subclass Coffin Container)	Mid-level-ontology.kif 4147-4147	Coffin ist eine teilkategorie von Container
(subclass Compartment Container)	Mid-level-ontology.kif 4157-4157	Compartment ist eine teilkategorie von Container
(subclass Envelope Container)	Mid-level-ontology.kif 4663-4663	Envelope ist eine teilkategorie von Container
(subclass FluidContainer Container)	Mid-level-ontology.kif 4673-4673	FluidContainer ist eine teilkategorie von Container
(subclass Holster Container)	Mid-level-ontology.kif 1647-1647	Holster ist eine teilkategorie von Container
(subclass Mailbox Container)	Mid-level-ontology.kif 4169-4169	Mailbox ist eine teilkategorie von Container
(subclass Oven Container)	Mid-level-ontology.kif 2311-2311	Oven ist eine teilkategorie von Container
(subclass Pericardium Container)	Mid-level-ontology.kif 11415-11415	Pericardium ist eine teilkategorie von Container
(subclass PorousContainer Container)	Mid-level-ontology.kif 4510-4510	PorousContainer ist eine teilkategorie von Container
(subclass PotOrPan Container)	Mid-level-ontology.kif 2342-2342	PotOrPan ist eine teilkategorie von Container
(subclass ProductPackage Container)	Economy.kif 5155-5155	ProductPackage ist eine teilkategorie von Container
(subclass ProjectileShell Container)	Mid-level-ontology.kif 1114-1114	ProjectileShell ist eine teilkategorie von Container
(subclass Refrigerator Container)	Mid-level-ontology.kif 2337-2337	Refrigerator ist eine teilkategorie von Container
(subclass SafeContainer Container)	Mid-level-ontology.kif 2714-2714	SafeContainer ist eine teilkategorie von Container
(subclass ShipContainer Container)	Transportation.kif 2596-2596	ShipContainer ist eine teilkategorie von Container
(subclass TravelContainer Container)	Mid-level-ontology.kif 4668-4668	TravelContainer ist eine teilkategorie von Container
(subclass Wastebasket Container)	Mid-level-ontology.kif 1659-1659	Wastebasket ist eine teilkategorie von Container
(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

Wenn Physical ist ein fall von Container %n{nicht},
dann ** Physical hat Zweck von es gibt entity um contains ** Physical and ** entity %n{nicht}

consequent

(=> (attribute ?C ContainerEmpty) (instance ?C Container))	Mid-level-ontology.kif 1617-1619	Wenn ContainerEmpty ist ein attribut von Object %n{nicht}, dann ** Object ist ein fall von Container %n{nicht}
(=> (attribute ?C ContainerFull) (instance ?C Container))	Mid-level-ontology.kif 1635-1637	Wenn ContainerFull ist ein attribut von Object %n{nicht}, dann ** Object ist ein fall von Container %n{nicht}
(=> (instance ?C Compartment) (exists (?O) (and (instance ?O Container) (not (equal ?C ?O)) (part ?C ?O))))	Mid-level-ontology.kif 4161-4167	Wenn Object ist ein fall von Compartment %n{nicht}, dann es gibt Object um Object ist ein fall von Container %n{nicht} und Object ist gleich Object nicht und Object ist ein teil von ** Object %n{nicht}
(=> (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	Wenn Physical ist ein fall von HeatSealer %n{nicht}, dann Physical hat Zweck von es gibt entity, entity,, , entity, and und entity um entity ist ein fall von Container %n{nicht} und entity ist ein fall von Plastic %n{nicht} und entity ist ein fall von Closing %n{nicht} und entity ist ein fall von Heating %n{nicht} und Physical ist ein instrument fuer entity %n{nicht} und entity ist ein instrument fuer entity %n{nicht} und entity ist der agent von Physical %n{nicht} und entity ist ein patient von entity %n{nicht} und entity ist ein resultat von entity %n{nicht} und entity ist ein patient von ** entity %n{nicht} %n{nicht}
(=> (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	Wenn SelfConnectedObject ist ein fall von Lid %n{nicht}, dann es gibt SelfConnectedObject um SelfConnectedObject ist ein fall von Container %n{nicht} und SelfConnectedObject ist ein teil von SelfConnectedObject %n{nicht} und SelfConnectedObject ist faehig %n{nicht}, in der Rolle instrument Closing zu tun und SelfConnectedObject ist faehig %n{nicht}, in der Rolle instrument Opening zu tun und die oberseite von SelfConnectedObject ist ** SelfConnectedObject
(=> (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	Wenn Process ist ein fall von Pouring %n{nicht}, dann es gibt Object, Object, and und Entity um Process beginnet an Object %n{nicht} und Process endet an Entity %n{nicht} und Object ist ein fall von Container %n{nicht} und Entity ist ein fall von Container %n{nicht} und Object ist gleich Entity nicht und Object ist ein patient von Process %n{nicht} und Liquid ist ein attribut von Object %n{nicht} und Object ist ein fall von Substance %n{nicht}
(=> (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	Wenn rainfallIntensity GeographicArea, TimeInterval and FunctionQuantity, dann es gibt Transfer, Collection,, , Physical,, , SelfConnectedObject,, , entity,, , SelfConnectedObject, and und TransferFALL um Transfer ist ein fall von Raining %n{nicht} und eventLocated Transfer and GeographicArea und die zeit des Bestehens von Transfer geschieht waehrend TimeInterval %n{nicht} und Collection ist ein fall von Collection %n{nicht} und objectTransferred Transfer and Collection und Physical ist ein fall von Water %n{nicht} und Physical ist ein Mitglied von Collection %n{nicht} und SelfConnectedObject ist ein fall von Container %n{nicht} und die unterseite von SelfConnectedObject ist SelfConnectedObject und Flat ist ein attribut von SelfConnectedObject %n{nicht} und SelfConnectedObject befindet sich an %n{nicht} und ContainerEmpty ist ein attribut von SelfConnectedObject %n{nicht} haelt waehrend der anfang von TimeInterval %n{nicht} und Collection befindet sich an %n{nicht} und die oberseite von Collection ist entity und depth entity, SelfConnectedObject and TransferFALL und TransferFALL ist gleich TimeInterval und FunctionQuantity %n{nicht} haelt waehrend das ende von ** TimeInterval %n{nicht}

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: