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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Legal

Sigma KEE - Legal
Legal(legal)
more pictures...
effectual, legal, sound

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13313-13314
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11357-11357
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11358-11358
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11361-11361
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11360-11360
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11359-11359
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10104-10104
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13311-13311 Legal is an instance of deontic attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13312-13312 Legal is a subattribute of permission

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13307-13307 Illegal is the opposite of legal
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33762-33762
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33761-33761
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33760-33760

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13316-13323 The statement a formula has the modal force of legal if and only if there doesn't exist another formula such that the statement the other formula has the modal force of law and the other formula is not a consistent of the formula
No TPTP formula. May not be expressible in strict first order. Law.kif 574-588
No TPTP formula. May not be expressible in strict first order. Law.kif 621-636
No TPTP formula. May not be expressible in strict first order. Law.kif 563-572

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


No TPTP formula. May not be expressible in strict first order. Government.kif 209-221
No TPTP formula. May not be expressible in strict first order. Law.kif 602-619
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8929-8941
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13608-13613


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