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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BroadGaugeRailway

Sigma KEE - BroadGaugeRailway
BroadGaugeRailway(broad gauge railway)broad_gauge

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 353-353 Broad gauge railway is a subclass of railway

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12047-12047
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12046-12046
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12045-12045

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 411-413 An entity is an instance of broad gauge railway if and only if the entity the attribute broad gauge

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Transportation.kif 182-189 A length measure is a length of broad gauge railway of a geographic area if and only if the length of the class described by a symbolic string is the length measure
No TPTP formula. May not be expressible in strict first order. Transportation.kif 294-306 A length measure is a length of unclassified gauge railway of a geographic area if and only if the length of the class described by a symbolic string is the length measure
No TPTP formula. May not be expressible in strict first order. Transportation.kif 191-199


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