TreeView Knowledge Base Browser - Sidewalk

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Sidewalk

Sidewalk(sidewalk)

pavement, sidewalk

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15651-15651
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 730-730
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15650-15650	Sidewalk is a subclass of stationary artifact

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52952-52952
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52951-52951
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52950-52950

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15661-15666	If an object is an instance of sidewalk, then there exists another object such that the other object is an instance of roadway and the object is near to the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15653-15659	If a physical is an instance of sidewalk, then the physical has the purpose there exists an entity such that the entity is an instance of walking and the physical is path along which the entity occurs

consequent

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

Mid-level-ontology.kif 15050-15056

If an object is an instance of curb,
then there exist another object and a third object such that the other object is an instance of sidewalk and the third object is an instance of roadway and the object connects the other object and the third 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