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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - lengthOfPetroleumProductPipeline
lengthOfPetroleumProductPipeline

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 742-745
No TPTP formula. May not be expressible in strict first order. Transportation.kif 740-740 The number 1 argument of length of petroleum product pipeline is an instance of geographic area
No TPTP formula. May not be expressible in strict first order. Transportation.kif 741-741 The number 2 argument of length of petroleum product pipeline is an instance of length measure
No TPTP formula. May not be expressible in strict first order. Transportation.kif 739-739 length of petroleum product pipeline is an instance of binary predicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1511-1511
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1510-1510
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1509-1509
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33940-33940
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33939-33939
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33938-33938

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 747-754 A length measure is a length of petroleum product pipeline 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 756-760


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