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 6203-6203
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 6218-6218
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 6213-6213
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6215-6215
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 11969-11969
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11968-11968
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11967-11967

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