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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 507-507 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 509-511

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


No TPTP formula. May not be expressible in strict first order. Government.kif 509-511


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