TreeView Knowledge Base Browser - prohibitedItem

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 395-396
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 392-392	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 393-393	The number 2 argument of prohibited item is an instance of web site
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 390-390	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 4254-4254
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4253-4253
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4252-4252
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 391-391

antecedent

No TPTP formula. May not be expressible in strict first order.

UXExperimentalTerms.kif 398-405

If an object is prohibited for sale on a web site,
then the statement there exists an entity such that the entity is an instance of selling and the web site facilitates the entity has the modal force of prohibition

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