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

Formal Language: 



KB Term:  Term intersection
English Word: 

  localShortName

Sigma KEE - localShortName
localShortName

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14786-14788
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14791-14791 本地简称 的 1 数量 是 符号串instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14792-14792 本地简称 的 2 数量 是 实体instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14790-14790 本地简称二元谓语instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14789-14789 本地简称命名subrelation

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1563-1563
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1562-1562
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1561-1561
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34853-34853
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34852-34852
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34851-34851

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 3604-3604 拉丁美洲一体化协会 是 "ALADI" 的 local 简称
No TPTP formula. May not be expressible in strict first order. Government.kif 2720-2720 非洲开发银行 是 "BAD" 的 local 简称
No TPTP formula. May not be expressible in strict first order. Government.kif 2775-2775 阿拉伯非洲经济发展银行 是 "BADEA" 的 local 简称
No TPTP formula. May not be expressible in strict first order. Government.kif 3348-3348 美洲开发银行 是 "BID" 的 local 简称
No TPTP formula. May not be expressible in strict first order. Government.kif 4261-4261 西非开发银行 是 "BOAD" 的 local 简称
No TPTP formula. May not be expressible in strict first order. Government.kif 2741-2741 在拉丁美洲和加勒比地区禁止核武器的机构 是 "OPANAL" 的 local 简称
No TPTP formula. May not be expressible in strict first order. Government.kif 3595-3595 拉丁美洲经济体系 是 "SELA" 的 local 简称
No TPTP formula. May not be expressible in strict first order. Government.kif 4270-4270 西非经济和货币联盟 是 "WAEMU" 的 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