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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AshmoreAndCartierIslands

Sigma KEE - AshmoreAndCartierIslands
AshmoreAndCartierIslands(ashmore and cartier islands)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3732-3732 Ashmore and cartier islands is a dependent of australia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3733-3733
No TPTP formula. May not be expressible in strict first order. pictureList.kif 240-240
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 598-598 Ashmore and cartier islands is a geographic subregion of southeastern asia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3861-3861 Ashmore and cartier islands is an instance of dependency or special sovereignty area
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 592-592 Ashmore and cartier islands is an instance of land area

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4172-4172 Ashmore and cartier islands has name "Ashmore and Cartier Islands"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8646-8646
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8645-8645
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8644-8644


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