conventionalLongName - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27198-27200
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27202-27202	传统的长名的 1 数量是符号串的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27203-27203	传统的长名的 2 数量是实体的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27196-27196	传统的长名是二元谓语的 instance
No TPTP formula. May not be expressible in strict first order.	Media.kif 3298-3298	传统的长名是 fullName 的 subrelation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27205-27205	传统的长名是命名的 subrelation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 544-544
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 543-543
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 542-542
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17088-17088
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17087-17087
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17086-17086
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27204-27204

statement

No TPTP formula. May not be expressible in strict first order.	Government.kif 2791-2794	时间位置是 1 day 的 instance 和安第斯国际社会是 "Andean Community of Nations" 的 conventional 全名在紧接那个时间位置 after holdsDuring
No TPTP formula. May not be expressible in strict first order.	Government.kif 2765-2769	时间位置是 1996 year 的 instance 和法语社区的代理机构是 "Agency for the French-Speaking Community" 的 conventional 全名在紧接那个时间位置 after holdsDuring

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	Government.kif 2875-2875	东盟区域论坛是 "ASEAN Regional Forum" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	Government.kif 3733-3733	非洲统一组织是 "African Union" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	Government.kif 2748-2748	非洲加勒比和太平洋国家集团是 "African, Caribbean, and Pacific Group of States" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	Government.kif 2762-2762	法语社区的代理机构是 "Agency for the French-Speaking Community" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	Government.kif 2774-2774	在拉丁美洲和加勒比地区禁止核武器的机构是 "Agency for the Prohibition of Nuclear Weapons in Latin America and the Caribbean" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	Government.kif 2783-2783	安第斯国际社会是 "Andean Community of Nations" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	Government.kif 2800-2800	南极条约理事会是 "Antarctic Treaty Council" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3191-3191	南极条约是 "Antarctic Treaty" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	Government.kif 2808-2808	阿拉伯非洲经济发展银行是 "Arab Bank for Economic Development in Africa" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	Government.kif 2816-2816	阿拉伯合作理事会是 "Arab Cooperation Council" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	Government.kif 2822-2822	阿拉伯经济和社会发展基金是 "Arab Fund for Economic and Social Development" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	Government.kif 2829-2829	阿拉伯联盟是 "Arab League" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	Government.kif 2840-2840	阿拉伯马格里布联盟是 "Arab Maghreb Union" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	Government.kif 2849-2849	阿拉伯货币基金是 "Arab Monetary Fund" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	Government.kif 2855-2855	亚太经济合作是 "Asia-Pacific Economic Cooperation" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	Government.kif 2861-2861	亚洲开发银行是 "Asian Development Bank" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	Government.kif 2867-2867	东南亚国家联盟是 "Association of Southeast Asian Nations" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	Government.kif 2882-2882	澳大利亚集团是 "Australia Group" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	Government.kif 2887-2887	澳大利亚新西兰美国安全条约是 "Australia-New Zealand-United States Security Treaty" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	Government.kif 2893-2893	国际结算银行是 "Bank for International Settlements" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3246-3247	危险废物公约是 "Basel Convention on the Control of Transboundary Movements of Hazardous Wastes and Their Disposal" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	Government.kif 2899-2899	比荷卢经济联盟是 "Benelux Economic Union" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	Government.kif 2908-2908	大七是 "Big Seven" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	Government.kif 2913-2913	大六是 "Big Six" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	Government.kif 2919-2919	黑海经济合作区是 "Black Sea Economic Cooperation Zone" 的 conventional 全名

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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

KB Term:			Term intersection

English Word: