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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Legal
Legal
more pictures...

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13874-13875
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11341-11341
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11342-11342
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11345-11345
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11344-11344
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11343-11343
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10095-10095
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13872-13872 Legal e' uma instancia de Atributo Deontico
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13873-13873 Legal e' um sub-atributo de Permission

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13868-13868 Illegal e' &o oposto de Legal
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33779-33779
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33778-33778
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33777-33777

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13877-13884 O argumento Formula tem a forca modal de Legal Formula o argumento Formula tem a forca modal de Law consistent Formula and Formula
No TPTP formula. May not be expressible in strict first order. Law.kif 526-540
No TPTP formula. May not be expressible in strict first order. Law.kif 573-588
No TPTP formula. May not be expressible in strict first order. Law.kif 515-524

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


No TPTP formula. May not be expressible in strict first order. Law.kif 554-571
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9345-9357
No TPTP formula. May not be expressible in strict first order. Biography.kif 303-305
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14169-14174


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