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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Terminal

 Sigma KEE - Terminal
Terminal(终奌站)

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


No TPTP formula. May not be expressible in strict first order. engineering.kif 817-818
No TPTP formula. May not be expressible in strict first order. engineering.kif 820-820
No TPTP formula. May not be expressible in strict first order. engineering.kif 819-819
No TPTP formula. May not be expressible in strict first order. engineering.kif 821-821 终奌站 是 电气元件 的 subclass

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


No TPTP formula. May not be expressible in strict first order. engineering.kif 1068-1068 基础 是 终奌站 的 subclass
No TPTP formula. May not be expressible in strict first order. engineering.kif 1073-1073 收集家 是 终奌站 的 subclass
No TPTP formula. May not be expressible in strict first order. engineering.kif 1077-1077 发射器 是 终奌站 的 subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57530-57530
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57529-57529
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57528-57528


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