RecreationalVehicle - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - RecreationalVehicle

RecreationalVehicle(camper)

R.V., RV, recreational_vehicle

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25798-25800
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25797-25797	Camper is a subclass of mobile residence
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25796-25796	Camper is a subclass of vehicle

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Cars.kif 4885-4885
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4886-4886
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4884-4884
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25801-25801

antecedent

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

Mid-level-ontology.kif 25803-25813

If an entity is an instance of camper,
then the statement there exist another entity, a third entity and a fourth entity such that the other entity is an instance of bed and the third entity is an instance of dining area and the fourth entity is an instance of kitchen area and the other entity is located at the entity and the third entity is located at the entity and the fourth entity is located at the entity has the modal force of likely

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