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

Formal Language: 



KB Term:  Term intersection
English Word: 

  claimedTerritory

 Sigma KEE - claimedTerritory
claimedTerritory

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 968-972
No TPTP formula. May not be expressible in strict first order. Geography.kif 964-964 域 聲稱領土, 1 and GeographicArea
No TPTP formula. May not be expressible in strict first order. Geography.kif 965-965 域 聲稱領土, 2 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order. Geography.kif 963-963 例 聲稱領土 and BinaryPredicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 456-456
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 455-455
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 454-454
No TPTP formula. May not be expressible in strict first order. Geography.kif 966-966 子關係 依賴的地緣政治區域 and 聲稱領土
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 14994-14994
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 14993-14993
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 14992-14992

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 998-1003
No TPTP formula. May not be expressible in strict first order. Geography.kif 1206-1212
No TPTP formula. May not be expressible in strict first order. Geography.kif 1075-1082

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 1157-1161
No TPTP formula. May not be expressible in strict first order. Geography.kif 1189-1193
No TPTP formula. May not be expressible in strict first order. Geography.kif 1050-1054
No TPTP formula. May not be expressible in strict first order. Geography.kif 1125-1129
No TPTP formula. May not be expressible in strict first order. Geography.kif 1092-1096
No TPTP formula. May not be expressible in strict first order. Geography.kif 1228-1232
No TPTP formula. May not be expressible in strict first order. Geography.kif 924-932
No TPTP formula. May not be expressible in strict first order. Geography.kif 989-996

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3923-3923 阿根廷 是 南極洲 的 claimed 領土
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3924-3924 澳大利亞 是 南極洲 的 claimed 領土
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3925-3925 智利 是 南極洲 的 claimed 領土
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3926-3926 法國 是 南極洲 的 claimed 領土
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3927-3927 新西蘭 是 南極洲 的 claimed 領土
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3928-3928 挪威 是 南極洲 的 claimed 領土
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3929-3929 英國 是 南極洲 的 claimed 領土
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3715-3715 以色列 是 加沙地帶 的 claimed 領土
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3716-3716 巴勒斯坦解放組織 是 加沙地帶 的 claimed 領土
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3717-3717 中國 是 西沙群島 的 claimed 領土
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3718-3718 台灣 是 西沙群島 的 claimed 領土
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3719-3719 越南 是 西沙群島 的 claimed 領土
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3720-3720 中國 是 南沙群島 的 claimed 領土
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3721-3721 台灣 是 南沙群島 的 claimed 領土
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3722-3722 越南 是 南沙群島 的 claimed 領土
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3723-3723 以色列 是 西方銀行 的 claimed 領土
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3724-3724 巴勒斯坦解放組織 是 西方銀行 的 claimed 領土
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3725-3725 摩洛哥 是 西撒哈拉 的 claimed 領土


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