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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Prohibition

Sigma KEE - Prohibition
Prohibition(prohibition)
forbidden, out, prohibited, proscribed, taboo, tabu, verboten, wrong, wrongfulness

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3913-3914
No TPTP formula. May not be expressible in strict first order. Merge.kif 17511-17513
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6795-6795
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7653-7653
No TPTP formula. May not be expressible in strict first order. Merge.kif 17510-17510 Prohibition is an instance of deontic attribute

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13840-13840 Illegal is a subattribute of prohibition
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47654-47654
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47653-47653
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47652-47652

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17515-17517 The statement a formula has the modal force of prohibition if and only if the statement the formula doesn't have the modal force of permission
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14091-14098
No TPTP formula. May not be expressible in strict first order. Law.kif 335-337
No TPTP formula. May not be expressible in strict first order. Law.kif 351-353

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 2512-2528
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2489-2505
No TPTP formula. May not be expressible in strict first order. Law.kif 330-333
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 398-405


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