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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ChristmasIsland

Sigma KEE - ChristmasIsland
ChristmasIsland(christmas island)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3754-3754 Christmas island is a dependent of australia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3755-3755
No TPTP formula. May not be expressible in strict first order. pictureList.kif 342-342
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 606-606 Christmas island is a geographic subregion of southeastern asia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3869-3869 Christmas island is an instance of dependency or special sovereignty area
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 593-593 Christmas island is an instance of land area

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4175-4175 Christmas island has name "Christmas Island"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 14742-14742
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 14741-14741
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 14740-14740

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 2849-2849 "CX" in ISO-3166-1-alpha-2 denotes christmas island


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