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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - dateEstablished
dateEstablished

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 980-983
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 978-978 建立日期 的 1 数量 是 物理instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 979-979 建立日期 的 2 数量 是 时间位置subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 977-977 建立日期二元谓语instance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 652-652
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 651-651
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 650-650
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18618-18618
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18617-18617
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18616-18616

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 985-990

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 960-963

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2877-2877 1994 Year东盟区域论坛 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 2750-2750 6 Day非洲加勒比和太平洋国家集团 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 2757-2757 4 Day非洲开发银行 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 2771-2771 20 Day法语社区的代理机构 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 2778-2778 14 Day在拉丁美洲和加勒比地区禁止核武器的机构 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 2796-2796 26 Day安第斯国际社会 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 2801-2801 23 Day南极条约理事会 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 2812-2812 18 Day阿拉伯非洲经济发展银行 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 2818-2818 16 Day阿拉伯合作理事会 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 2824-2824 16 Day阿拉伯经济和社会发展基金 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 2833-2833 22 Day阿拉伯联盟 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 2842-2842 17 Day阿拉伯马格里布联盟 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 2851-2851 27 Day阿拉伯货币基金 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 2857-2857 7 Day亚太经济合作 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 2863-2863 19 Day亚洲开发银行 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 2869-2869 8 Day东南亚国家联盟 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 2883-2883 1984 Year澳大利亚集团 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 2889-2889 1 Day澳大利亚新西兰美国安全条约 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 2895-2895 20 Day国际结算银行 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 2901-2901 3 Day比荷卢经济联盟 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 2909-2909 1975 Year大七 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 2914-2914 1967 Year大六 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 2921-2921 25 Day黑海经济合作区 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 2928-2928 4 Day加勒比共同体和共同市场 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 2935-2935 18 Day加勒比开发银行 的成立 date

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