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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LosAngelesCalifornia
LosAngelesCalifornia(los angeles california)
more pictures...
City_of_the_Angels, Los_Angeles

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 811-811
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7207-7207
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7208-7208
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5314-5314
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7209-7209
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7210-7210
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7211-7211
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7212-7212
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7213-7213
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7214-7214
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7237-7237
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7215-7215
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5312-5312
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7216-7216
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7217-7217
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7218-7218
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7219-7219
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7221-7221
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7222-7222
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7223-7223
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7224-7224
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7225-7225
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7226-7226
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7229-7229
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7231-7231

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3139-3139 Los angeles california has name "Los Angeles"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 35033-35033
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 35032-35032
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 35031-35031

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 812-817

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 812-817


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