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 2714-2714 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 2709-2709 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 2715-2715 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 2716-2716 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 2711-2711 "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 2710-2710 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 2712-2712 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 2713-2713 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 5831-5831
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5830-5830
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5829-5829


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