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

Formal Language: 



KB Term:  Term intersection
English Word: 

  WireLine

 Sigma KEE - WireLine
WireLine(電線)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3616-3616
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3615-3615 子類 電線 and EngineeringComponent
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3614-3614 子類 電線 and 線

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3626-3626 子類 電話線 and 電線
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63239-63239
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63238-63238
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63237-63237

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3618-3624

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 1403-1408
No TPTP formula. May not be expressible in strict first order. Communications.kif 78-87
No TPTP formula. May not be expressible in strict first order. Communications.kif 95-107
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25952-25960
No TPTP formula. May not be expressible in strict first order. Communications.kif 64-71


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