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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Cooperation

 Sigma KEE - Cooperation
Cooperation(合作)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3282-3283
No TPTP formula. May not be expressible in strict first order. Merge.kif 13265-13266
No TPTP formula. May not be expressible in strict first order. Merge.kif 13264-13264 合作 是 社交 的 subclass

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


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1717-1717 联合行动 是 合作 的 subclass
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1206-1206
No TPTP formula. May not be expressible in strict first order. english_format.kif 1629-1629
No TPTP formula. May not be expressible in strict first order. french_format.kif 884-884
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 417-417
No TPTP formula. May not be expressible in strict first order. terms-it.txt 420-420
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2568-2568
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 836-836
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 456-456
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 905-905
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 421-421

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 13268-13274


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