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

Formal Language: 



KB Term:  Term intersection
English Word: 

  browserID

Sigma KEE - browserID
browserID

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 724-728
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 732-732 The number 1 argument of browser identifier string is an instance of identifier
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 733-733 The number 2 argument of browser identifier string is an instance of web browser
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 734-734 The number 3 argument of browser identifier string is an instance of web site
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 722-722 browser identifier string is an instance of ternary predicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2926-2926
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2925-2925
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2924-2924
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 730-730

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 736-748
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 750-758

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 750-758
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1209-1216


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