Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  AsphaltPavingMixtureAndBlockManufacturing

Sigma KEE - Container
Container(container)
Dumpster, Tabernacle, aglet, aiglet, automobile_trunk, bag, basket, bin, bin_liner, bowl, bread-bin, breadbox, bucket, bunker, butt_pack, canister, cannister, capsule, cargo_container, cartridge_clip, cartridge_holder, case, cast, clip, coal_scuttle, compositor's_case, container, cot, cylinder, dispenser, display_case, drawstring_bag, drip_pan, duffel, duffel_bag, duffle, duffle_bag, dust_bag, empty, fanny_pack, fingerstall, flowerpot, golf_bag, grab_bag, graduated_cylinder, handbasket, jacket, kibble, luggage_compartment, magazine...

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4440-4443
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1717-1717
No TPTP formula. May not be expressible in strict first order. pictureList.kif 34-34
No TPTP formula. May not be expressible in strict first order. pictureList.kif 35-35
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4439-4439 Container is a subclass of holder

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4449-4449 Bag is a subclass of container
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4467-4467 Box is a subclass of container
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4143-4143 Chest or cabinet is a subclass of container
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4147-4147 Coffin is a subclass of container
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4157-4157 Compartment is a subclass of container
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4663-4663 Envelope is a subclass of container
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4673-4673 Fluid container is a subclass of container
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1647-1647 Holster is a subclass of container
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4169-4169 Mailbox is a subclass of container
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2311-2311 Oven is a subclass of container
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11415-11415 Pericardial sac is a subclass of container
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4510-4510 Porous container is a subclass of container
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2342-2342 Pot or pan is a subclass of container
No TPTP formula. May not be expressible in strict first order. Economy.kif 5155-5155 Product package is a subclass of container
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1114-1114 Projectile shell is a subclass of container
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2337-2337 Refrigerator is a subclass of container
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2714-2714 Safe container is a subclass of container
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2608-2608 Ship container is a subclass of container
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4668-4668 Travel container is a subclass of container
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1659-1659 Wastebasket is a subclass of container
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16896-16896
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16895-16895
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16894-16894

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4445-4447

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1617-1619
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1635-1637
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4161-4167
No TPTP formula. May not be expressible in strict first order. Economy.kif 5163-5177
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4012-4020
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17565-17576
No TPTP formula. May not be expressible in strict first order. Weather.kif 2813-2838


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