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 子類 終奌站 and 電氣元件

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


No TPTP formula. May not be expressible in strict first order. engineering.kif 1068-1068 子類 基礎 and 終奌站
No TPTP formula. May not be expressible in strict first order. engineering.kif 1073-1073 子類 收集家 and 終奌站
No TPTP formula. May not be expressible in strict first order. engineering.kif 1077-1077 子類 發射器 and 終奌站
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