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

Formal Language: 



KB Term:  Term intersection
English Word: 

  treatedPage

Sigma KEE - treatedPage
treatedPage

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4327-4330
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4319-4319 The number 1 argument of treated page is an instance of WebPage
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4321-4321 The number 2 argument of treated page is an instance of experimenting
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4325-4325 treated page is an instance of binary predicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4819-4819
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4818-4818
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4817-4817
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4323-4323

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4382-4397
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4332-4343

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4359-4364
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4285-4291


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