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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - coworker
coworker

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20843-20846
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20848-20848 The number 1 argument of coworker is an instance of human
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20849-20849 The number 2 argument of coworker is an instance of human
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20840-20840 coworker is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20841-20841 coworker is an instance of symmetric relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20850-20850 coworker is a subrelation of mutual acquaintance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 572-572
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 571-571
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 570-570
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17599-17599 "同事" is the printable form of coworker in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17598-17598 "同事" is the printable form of coworker in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17597-17597 "coworker" is the printable form of coworker in english language

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


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

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2426-2426 Steve Wozniak is a coworker of Steve Jobs holds during the year 1976
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2418-2418 Tim Cook is a coworker of Steve Jobs holds during the year 2002


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners