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 1475-1481
No TPTP formula. May not be expressible in strict first order. Media.kif 1482-1482 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 4321-4321 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 4356-4356 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 3968-3993
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4384-4399
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3878-3913
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4361-4366

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 2663-2668
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 1494-1499
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4287-4293
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 2950-2958
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