TreeView Knowledge Base Browser - lengthOfBroadGaugeRailway

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

lengthOfBroadGaugeRailway

Sigma KEE - lengthOfBroadGaugeRailway

lengthOfBroadGaugeRailway

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 177-180
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 174-174	The number 1 argument of length of broad gauge railway is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 175-175	The number 2 argument of length of broad gauge railway is an instance of length measure
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 173-173	length of broad gauge railway is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1475-1475
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1474-1474
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1473-1473
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33971-33971
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33970-33970
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33969-33969

antecedent

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 191-199	If a real number an unit of measure(s) is a length of broad gauge railway of a geographic area and the unit of measure is an instance of unit of length and the real number is greater than 0, then there exists a physical such that the physical is an instance of broad gauge railway and the physical is located at the geographic area

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