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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - WebPage
WebPageweb_page, webpage

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


No TPTP formula. May not be expressible in strict first order. Media.kif 1479-1485
No TPTP formula. May not be expressible in strict first order. Media.kif 1486-1486 WebPage is a subclass of digital data

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2233-2233 Product description page is a subclass of WebPage
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2730-2730 Search results page is a subclass of WebPage
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2264-2264 Next generation view item is a subclass of WebPage

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2172-2172 The number 1 argument of homepage is an instance of WebPage
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4316-4316 The number 1 argument of treated page is an instance of WebPage
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4334-4334 The number 1 argument of url is an instance of WebPage

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3963-3988
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4379-4394
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3873-3908
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4356-4361

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2690-2696
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2589-2593
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2347-2351
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 959-969
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 919-930
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 157-163
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2681-2686
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2195-2200
No TPTP formula. May not be expressible in strict first order. Media.kif 1498-1503
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4282-4288
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2379-2397
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1742-1750
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 544-551
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2917-2925
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1414-1422


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