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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - claimedTerritory
claimedTerritory

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 975-979
No TPTP formula. May not be expressible in strict first order. Geography.kif 971-971 The number 1 argument of claimed territory is an instance of geographic area
No TPTP formula. May not be expressible in strict first order. Geography.kif 972-972 The number 2 argument of claimed territory is an instance of agent
No TPTP formula. May not be expressible in strict first order. Geography.kif 970-970 claimed territory is an instance of binary predicate

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 973-973 dependent geopolitical area is a subrelation of claimed territory
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 14997-14997
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 14996-14996
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 14995-14995

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 1005-1010
No TPTP formula. May not be expressible in strict first order. Geography.kif 1213-1219
No TPTP formula. May not be expressible in strict first order. Geography.kif 1082-1089

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 1164-1168
No TPTP formula. May not be expressible in strict first order. Geography.kif 1196-1200
No TPTP formula. May not be expressible in strict first order. Geography.kif 1057-1061
No TPTP formula. May not be expressible in strict first order. Geography.kif 1132-1136
No TPTP formula. May not be expressible in strict first order. Geography.kif 1099-1103
No TPTP formula. May not be expressible in strict first order. Geography.kif 1235-1239
No TPTP formula. May not be expressible in strict first order. Geography.kif 931-939
No TPTP formula. May not be expressible in strict first order. Geography.kif 996-1003

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3923-3923 Argentina is a claimed territory of antarctica
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3924-3924 Australia is a claimed territory of antarctica
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3925-3925 Chile is a claimed territory of antarctica
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3926-3926 France is a claimed territory of antarctica
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3927-3927 New zealand is a claimed territory of antarctica
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3928-3928 Norway is a claimed territory of antarctica
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3929-3929 United kingdom is a claimed territory of antarctica
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3715-3715 Israel is a claimed territory of gaza strip
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3716-3716 Palestinian liberation organization is a claimed territory of gaza strip
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3717-3717 China is a claimed territory of paracel islands
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3718-3718 Taiwan is a claimed territory of paracel islands
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3719-3719 Vietnam is a claimed territory of paracel islands
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3720-3720 China is a claimed territory of spratly islands
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3721-3721 Taiwan is a claimed territory of spratly islands
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3722-3722 Vietnam is a claimed territory of spratly islands
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3723-3723 Israel is a claimed territory of west bank
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3724-3724 Palestinian liberation organization is a claimed territory of west bank
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3725-3725 Morocco is a claimed territory of western sahara


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