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

Formal Language: 



KB Term:  Term intersection
English Word: 

  WebPage

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 2236-2236 Product description page 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
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2267-2267 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 2175-2175 The number 1 argument of homepage is an instance of WebPage
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4319-4319 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 4357-4357 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 3966-3991
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4382-4397
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3876-3911
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4359-4364

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2693-2699
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2592-2596
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2350-2354
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 961-971
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 921-932
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 2695-2700
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2198-2203
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 4285-4291
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2382-2400
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1743-1751
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 546-553
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2982-2990
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1415-1423


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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