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 2678-2679
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2677-2677 AccessingWebPage is a subclass of NetworkCommunication

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3951-3951 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 1698-1698 The number 2 argument of TTFx is an instance of AccessingWebPage
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4277-4277 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 3963-3988
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1702-1724
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1776-1787
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4381-4396
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3538-3561
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 971-985
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 987-1005

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3299-3318
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3260-3277
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 971-985
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 2310-2316
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1765-1774
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4329-4341
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. 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