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

Formal Language: 



KB Term:  Term intersection
English Word: 

  webVisitor

Sigma KEE - webVisitor
webVisitor

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1403-1404
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2947-2948
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2945-2945 The number 1 argument of web visitor is an instance of agent
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1397-1397 The number 1 argument of web visitor is an instance of human
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2946-2946 The number 2 argument of web visitor is an instance of WebSite
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1395-1395 web visitor is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2944-2944 web visitor is an instance of case role

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4983-4983
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4982-4982
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4981-4981
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1401-1401

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


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
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1406-1413

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1271-1273
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1368-1370


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