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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GroupOf6
GroupOf6(group of6)

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3272-3272 The day 22 is a date established of group of6
No TPTP formula. May not be expressible in strict first order. Government.kif 3268-3268 Group of6 is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 3273-3273 Nuclear disarmament is an organizational objective of group of6

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3270-3270 "G-6" is an abbreviation of group of6
No TPTP formula. May not be expressible in strict first order. Government.kif 3269-3269 Group of6 is a conventional long name of "Group of 6"
No TPTP formula. May not be expressible in strict first order. Government.kif 3271-3271 Group of6 is a local long name of "Groupe des Six Sur le Desarmement"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26769-26769
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26768-26768
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26767-26767

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2896-2896 Big six is not equal to group of6


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