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

Formal Language: 



KB Term:  Term intersection
English Word: 

  WebPage

Sigma KEE - WebPage
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数字数据subclass

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2231-2231 ProductDescriptionPageWebPagesubclass
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2728-2728 SearchResultsPageWebPagesubclass
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2262-2262 ViewItemPageWebPagesubclass

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2170-2170 homePage 的 1 数量 是 WebPageinstance
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4314-4314 treatedPage 的 1 数量 是 WebPageinstance
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4313-4313 webPageURL 的 1 数量 是 WebPageinstance

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3961-3986
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 3871-3906
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 2688-2694
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2587-2591
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2345-2349
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 957-967
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 917-928
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 2193-2198
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 4280-4286
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2377-2395
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1740-1748
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 542-549
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 1412-1420


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