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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - prohibitedItem
prohibitedItem

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 493-494
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 489-489 The number 1 argument of prohibited item is an instance of object
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 491-491 The number 2 argument of prohibited item is an instance of WebSite
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 485-485 prohibited item is an instance of binary predicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4263-4263
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4262-4262
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4261-4261
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 487-487

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 496-503


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