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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean
AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean(agency for the prohibition of nuclear weapons in latin america and the caribbean)

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2759-2759 The day 14 is a date established of agency for the prohibition of nuclear weapons in latin america and the caribbean
No TPTP formula. May not be expressible in strict first order. Government.kif 2754-2754 Agency for the prohibition of nuclear weapons in latin america and the caribbean is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 2760-2760 Nuclear nonproliferation is an organizational objective of agency for the prohibition of nuclear weapons in latin america and the caribbean
No TPTP formula. May not be expressible in strict first order. Government.kif 2761-2761 Peaceful use of atomic power is an organizational objective of agency for the prohibition of nuclear weapons in latin america and the caribbean

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2756-2756 "OPANAL" is an abbreviation of agency for the prohibition of nuclear weapons in latin america and the caribbean
No TPTP formula. May not be expressible in strict first order. Government.kif 2755-2755 Agency for the prohibition of nuclear weapons in latin america and the caribbean is a conventional long name of "Agency for the Prohibition of Nuclear Weapons in Latin America and the Caribbean"
No TPTP formula. May not be expressible in strict first order. Government.kif 2757-2757 Agency for the prohibition of nuclear weapons in latin america and the caribbean is a local long name of "Organismo para la Proscripcion de las Armas Nucleares en la America Latina y el Caribe"
No TPTP formula. May not be expressible in strict first order. Government.kif 2758-2758 Agency for the prohibition of nuclear weapons in latin america and the caribbean is a local short name of "OPANAL"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5829-5829
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5828-5828
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5827-5827


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