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

Formal Language: 



KB Term:  Term intersection
English Word: 

  WheelchairAccessible

 Sigma KEE - WheelchairAccessible
WheelchairAccessible

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26138-26140
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26137-26137 WheelchairAccessible 是 客观标准 的 instance

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26141-26141

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26147-26159
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26143-26145


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