appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3907-3908 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17651-17652 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17650-17650 | Obligation is an instance of deontic attribute |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17662-17662 | Law is a subattribute of obligation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17669-17669 | Promise is a subattribute of obligation |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41556-41556 | Promise is a subattribute of obligation |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41555-41555 | Promise is a subattribute of obligation |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41554-41554 | Promise is a subattribute of obligation |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17654-17656 | The statement a formula has the modal force of obligation 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 15450-15460 |
|
No TPTP formula. May not be expressible in strict first order. | Law.kif 345-347 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17658-17660 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 204-223 |
|
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 134-143 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7850-7859 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7871-7880 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13342-13346 |
|
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 311-324 |
|
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 513-526 |
|
No TPTP formula. May not be expressible in strict first order. | Law.kif 353-355 |
|
No TPTP formula. May not be expressible in strict first order. | Dining.kif 492-505 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 617-625 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15488-15492 |
|
![]() |
![]() |