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

Formal Language: 



KB Term:  Term intersection
English Word: 

  coworker

Sigma KEE - coworker
coworker

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22379-22382
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22384-22384 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 22385-22385 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 22376-22376 coworker is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22377-22377 coworker is an instance of symmetric relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22386-22386 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 17661-17661
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17660-17660
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17659-17659

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


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

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2421-2425 There exists a time position such that the time position is an instance of the year 1976 and Steve Wozniak is a coworker of Steve Jobs holds during the time position
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2409-2413 There exists a time position such that the time position is an instance of the year 2002 and Tim Cook is a coworker of Steve Jobs holds during the time position


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