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

Formal Language: 



KB Term:  Term intersection
English Word: 

  colleague

 Sigma KEE - colleague
colleague

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16861-16863
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16858-16858 colleague 的 1 数量 是 人类 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16859-16859 colleague 的 2 数量 是 人类 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16860-16860 colleague 的 3 数量 是 机构 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16857-16857 colleague 是 非自反关系 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16856-16856 colleague 是 三元谓语 的 instance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64313-64313
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64312-64312
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64311-64311
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64310-64310

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


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


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