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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Law
Law

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3909-3910
No TPTP formula. May not be expressible in strict first order. Merge.kif 17560-17563
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2591-2591
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2482-2482
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2592-2592
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2590-2590
No TPTP formula. May not be expressible in strict first order. Merge.kif 17559-17559 Law e' uma instancia de Atributo Deontico
No TPTP formula. May not be expressible in strict first order. Merge.kif 17558-17558 Law e' um sub-atributo de Obligation

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 3170-3170 O argumento AmericansWithDisabilitiesAct-US tem a forca modal de Law
No TPTP formula. May not be expressible in strict first order. Government.kif 2371-2371 O argumento AntiterrorismAndEffectiveDeathPenaltyAct tem a forca modal de Law
No TPTP formula. May not be expressible in strict first order. Government.kif 2369-2369 O argumento ImmigrationAndNationalityAct-Section219-US tem a forca modal de Law
No TPTP formula. May not be expressible in strict first order. Government.kif 2366-2366 O argumento ImmigrationAndNationalityAct-US tem a forca modal de Law
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13862-13862 InternationalLaw e' um sub-atributo de Law
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33539-33539
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33538-33538
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33537-33537

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13841-13846

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


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. Government.kif 839-843
No TPTP formula. May not be expressible in strict first order. Media.kif 995-1000
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13853-13859
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16254-16266
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13889-13896
No TPTP formula. May not be expressible in strict first order. Government.kif 835-837


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