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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FixedBridge

 Sigma KEE - FixedBridge
FixedBridge(fixed bridge)Tacoma_Narrows_Bridge

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 1624-1624 Fixed bridge is a subclass of bridge
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1625-1625 Fixed bridge is a subclass of stationary artifact

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24110-24110
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24109-24109
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24108-24108


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