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 20880-20883
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20885-20885 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 20886-20886 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 20877-20877 coworker is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20878-20878 coworker is an instance of symmetric relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20887-20887 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 17593-17593
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17592-17592
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17591-17591

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


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

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2424-2424 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 2416-2416 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 3.0 is open source software produced by Articulate Software and its partners