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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - InternationalCriminalPoliceOrganization
InternationalCriminalPoliceOrganization(international criminal police organization)

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3478-3478 The day 13 is a date established of international criminal police organization
No TPTP formula. May not be expressible in strict first order. Government.kif 3480-3482
No TPTP formula. May not be expressible in strict first order. Government.kif 3475-3475 International criminal police organization is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 3484-3484 Support law enforcement is an organizational objective of international criminal police organization

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3477-3477 "Interpol" is an abbreviation of international criminal police organization
No TPTP formula. May not be expressible in strict first order. Government.kif 3476-3476 International criminal police organization is a conventional long name of "International Criminal Police Organization"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30553-30553
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30552-30552
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30551-30551


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