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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CrudeOilPipeline
CrudeOilPipeline(crude oil pipeline)

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 798-799
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4636-4636
No TPTP formula. May not be expressible in strict first order. Transportation.kif 797-797 Crude oil pipeline is a subclass of pipeline

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17898-17898
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17897-17897
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17896-17896

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 801-807

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 712-719 A length measure is a length of crude oil pipeline of a geographic area if and only if the length of the class described by a symbolic string is the length measure


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