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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Anchorage
Anchorage
more pictures...

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 922-924
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10422-10422
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10420-10420
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10417-10417
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10418-10418
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10421-10421
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10416-10416
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10419-10419
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9887-9887
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10415-10415
No TPTP formula. May not be expressible in strict first order. Transportation.kif 921-921 Anchorage e' uma sub-classe de Area Aquatica

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 926-926 OffshoreAnchorage e' uma sub-classe de Anchorage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7398-7398
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7397-7397
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7396-7396


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