TreeView Knowledge Base Browser - Courtyard

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Courtyard

Courtyard(courtyard)

court, courtyard

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26017-26018
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26016-26016	Courtyard is a subclass of stationary artifact

appearance as argument number 2

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

Mid-level-ontology.kif 26019-26019

antecedent

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

Mid-level-ontology.kif 26021-26032

If a self connected object is an instance of courtyard,
then there doesn't exist another self connected object such that the other self connected object is an instance of roof and the top of the self connected object is the other self connected object and there exists an object such that the object is an instance of building and the self connected object is surrounded to the object

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