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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BritishCrownColony

Sigma KEE - BritishCrownColony
BritishCrownColony(british crown colony)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 6204-6204
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6205-6205
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6206-6206
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6207-6207
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6208-6208
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6209-6209
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6210-6210
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6211-6211
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6219-6219
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6212-6212
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6220-6220
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6213-6213
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6214-6214
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6216-6216
No TPTP formula. May not be expressible in strict first order. Government.kif 519-519 British crown colony is a subclass of overseas area

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11972-11972
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11971-11971
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11970-11970

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


No TPTP formula. May not be expressible in strict first order. Government.kif 521-523

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


No TPTP formula. May not be expressible in strict first order. Government.kif 521-523


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