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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - NarrowGaugeRailway
NarrowGaugeRailway(narrow gauge railway)
more pictures...
narrow_gauge

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 9451-9451
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9452-9452
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9453-9453
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9454-9454
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9455-9455
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9456-9456
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8607-8607
No TPTP formula. May not be expressible in strict first order. Transportation.kif 355-355 Narrow 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 39759-39759
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39758-39758
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39757-39757

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


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

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 237-244 A length measure is a length of narrow 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 246-254


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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