ShipContainer - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - ShipContainer

ShipContainer(ship container)

cargo_container, container

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2781-2782
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 914-914
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 881-881
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2780-2780	Ship container is a subclass of container

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2783-2783	Ship container has name "intermodal container"
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3047-3047	Fifty three foot container is a subclass of ship container
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2937-2937	Forty foot container is a subclass of ship container
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3024-3024	Forty eight foot container is a subclass of ship container
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3005-3005	Forty five foot container is a subclass of ship container
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2796-2796	Twenty foot container is a subclass of ship container
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52686-52686	Twenty foot container is a subclass of ship container
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52685-52685	Twenty foot container is a subclass of ship container
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52684-52684	Twenty foot container is a subclass of ship container

antecedent

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2829-2844	If a self connected object is an instance of ship container and a real number an unit of measure(s) is a capacity of the self connected object and the real number is an instance of unit of mass and the self connected object contains another self connected object and another real number the unit of measure(s) is a weight of the other self connected object and the other real number is less than the real number, then the statement there doesn't exist an entity such that the entity is an instance of damaging and the self connected object is a patient of the entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2785-2794	If a physical is an instance of ship container, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of shipping and the physical is carried as cargo during the entity and the other entity is carried as cargo during the entity and the physical contains the other entity holds during the time of existence of the entity

consequent

No TPTP formula. May not be expressible in strict first order.

Transportation.kif 2508-2510

If a transportation device is an instance of container ship,
then ship container is a cargo type of the transportation device

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