TreeView Knowledge Base Browser - localLongName

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - localLongName

localLongName

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14754-14756
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14752-14752	当地的长名的 1 数量是符号串的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14753-14753	当地的长名的 2 数量是实体的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14751-14751	当地的长名是二元谓语的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14757-14757	当地的长名是命名的 subrelation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1559-1559
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1558-1558
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1557-1557
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34841-34841
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34840-34840
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34839-34839

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	Government.kif 3639-3639	拉丁美洲一体化协会是 "Asociacion Latinoamericana de Integracion" 的 local 全名
No TPTP formula. May not be expressible in strict first order.	Government.kif 2949-2949	中美洲经济一体化银行是 "Banco Centroamericano de Integracion Economico" 的 local 全名
No TPTP formula. May not be expressible in strict first order.	Government.kif 3383-3383	美洲开发银行是 "Banco Interamericano de Desarrollo" 的 local 全名
No TPTP formula. May not be expressible in strict first order.	Government.kif 2755-2755	非洲开发银行是 "Banque Africaine de Developpement" 的 local 全名
No TPTP formula. May not be expressible in strict first order.	Government.kif 2810-2810	阿拉伯非洲经济发展银行是 "Banque Arabe de Developpement Economique en Afrique" 的 local 全名
No TPTP formula. May not be expressible in strict first order.	Government.kif 4296-4296	西非开发银行是 "Banque Ouest-Africaine de Developpement" 的 local 全名
No TPTP formula. May not be expressible in strict first order.	Government.kif 2942-2942	中非国家开发银行是 "Banque de Developpement des Etats de l'Afrique Centrale" 的 local 全名
No TPTP formula. May not be expressible in strict first order.	Government.kif 3133-3133	大湖国家的经济共同体是 "Communaute Economique des Pays des Grands Lacs" 的 local 全名
No TPTP formula. May not be expressible in strict first order.	Government.kif 3270-3270	法郎区是 "Conference des Ministres des Finances des Pays de la Zone Franc" 的 local 全名
No TPTP formula. May not be expressible in strict first order.	Government.kif 3290-3290	6人组是 "Groupe des Six Sur le Desarmement" 的 local 全名
No TPTP formula. May not be expressible in strict first order.	Government.kif 3865-3865	南锥共同市场是 "Mercado Comun del Cono Sur" 的 local 全名
No TPTP formula. May not be expressible in strict first order.	Government.kif 2776-2776	在拉丁美洲和加勒比地区禁止核武器的机构是 "Organismo para la Proscripcion de las Armas Nucleares en la America Latina y el Caribe" 的 local 全名
No TPTP formula. May not be expressible in strict first order.	Government.kif 3630-3630	拉丁美洲经济体系是 "Sistema Economico Latinoamericana" 的 local 全名
No TPTP formula. May not be expressible in strict first order.	Government.kif 4305-4305	西非经济和货币联盟是 "Union Economique et Monetaire Ouest Africaine" 的 local 全名

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