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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AccessingWebPage

Sigma KEE - AccessingWebPage
AccessingWebPage(accessing web page)

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2664-2665
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2663-2663 Accessing web page is a subclass of network communication

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64373-64373

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3953-3953 The number 1 argument of site speed is an instance of accessing web page
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 accessing web page
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4280-4280 The number 2 argument of qualified page view is an instance of accessing web page

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3965-3990
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 3539-3562
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3874-3910
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 973-987
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 989-1007

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3301-3320
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3262-3279
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 973-987
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 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 4331-4342
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 2954-2962
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