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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AutomobileSeat

Sigma KEE - TransitwayObstacle
TransitwayObstacle

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


(documentation TransitwayObstacle EnglishLanguage "TransitwayObstacle is the general class of Objects that can act as obstacles to Motion along a Transitway.") Mid-level-ontology.kif 12939-12941
(subclass TransitwayObstacle Object) Mid-level-ontology.kif 12938-12938

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


(subclass CanalLockGate TransitwayObstacle) Transportation.kif 2988-2988
(subclass Dam TransitwayObstacle) Transportation.kif 2982-2982
(subclass Door TransitwayObstacle) Mid-level-ontology.kif 12943-12943
(termFormat EnglishLanguage TransitwayObstacle "transitway obstacle") domainEnglishFormat.kif 10246-10246


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners