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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AccessingWebPage
AccessingWebPage

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2172-2172
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2171-2171 AccessingWebPage is a subclass of NetworkCommunication

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3949-3949 The number 1 argument of site speed is an instance of AccessingWebPage
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1696-1696 The number 2 argument of TTFx is an instance of AccessingWebPage
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4275-4275 The number 2 argument of qualifiedPageView is an instance of AccessingWebPage

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 1700-1722
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1774-1785
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 3536-3559
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 969-983
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 985-1003

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3297-3316
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3258-3275
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 969-983
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 2308-2314
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1763-1772
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4327-4339
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. ComputerInput.kif 2359-2367
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1412-1420


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners