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

Formal Language: 



KB Term:  Term intersection
English Word: 

  engineers

 Sigma KEE - engineers
engineers

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


No TPTP formula. May not be expressible in strict first order. engineering.kif 1206-1206
No TPTP formula. May not be expressible in strict first order. engineering.kif 1204-1204 engineers 的 1 数量 是 施事体 的 instance
No TPTP formula. May not be expressible in strict first order. engineering.kif 1205-1205 engineers 的 2 数量 是 人工制品 的 instance
No TPTP formula. May not be expressible in strict first order. engineering.kif 1203-1203 engineers 是 二元谓语 的 instance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3306-3306
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3305-3305
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3304-3304
No TPTP formula. May not be expressible in strict first order. engineering.kif 1207-1207

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


No TPTP formula. May not be expressible in strict first order. engineering.kif 1209-1215


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