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 17489-17492 | |
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 17488-17488 | Law is an instance of deontic attribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17487-17487 | Law is a subattribute of obligation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3170-3170 | The statement ADA has the modal force of law |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2407-2407 | The statement antiterrorism and effective death penalty act has the modal force of law |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2405-2405 | The statement immigration and nationality act- section219-US has the modal force of law |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2402-2402 | The statement immigration and nationality act-US has the modal force of law |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13835-13835 | International law is a subattribute of 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 13814-13819 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13850-13857 | 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. | Government.kif 875-879 |
|
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 13826-13832 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16227-16239 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13862-13869 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 871-873 |
|