Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

No TPTP formula. May not be expressible in strict first order. Media.kif 1482-1482 WebPage is a subclass of digital data
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2236-2236 Product description page is a subclass of WebPage
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2267-2267 Next generation view item is a subclass of WebPage
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2733-2733 Search results page is a subclass of WebPage


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