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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Stairway

 Sigma KEE - Stairway
Stairway(stairway)
flight, flight_of_stairs, flight_of_steps, landing

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15063-15064
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4826-4826
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15062-15062 Stairway is a subclass of stationary artifact

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54972-54972
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54971-54971
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54970-54970

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15072-15084
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15066-15070


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