modalAttribute |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3857-3861 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17479-17485 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17477-17477 | The number 1 argument of modal attribute is an instance of formula |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17478-17478 | The number 2 argument of modal attribute is an instance of normative attribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17473-17473 | modal attribute is an instance of asymmetric relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17472-17472 | modal attribute is an instance of binary predicate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17474-17474 | modal attribute is an instance of irreflexive relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17475-17475 | modal attribute is an instance of partial valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17476-17476 | modal attribute is a subrelation of property |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 590-590 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 594-594 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 353-353 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 192-192 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2100-2100 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 305-305 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 775-775 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 230-230 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 375-375 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 393-393 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 38210-38210 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 591-591 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 38209-38209 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 38208-38208 | |
No TPTP formula. May not be expressible in strict first order. | terms-de.txt 232-232 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15221-15228 | 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. | Merge.kif 17591-17593 | The statement a formula has the modal force of necessity if and only if the statement the formula doesn't have the modal force of possibility |
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. | Merge.kif 17690-17692 | The statement a formula has the modal force of prohibition 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. | Dining.kif 772-795 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 44-59 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17487-17491 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15185-15190 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17704-17710 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17595-17597 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17658-17660 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17493-17495 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17716-17722 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15221-15228 | 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. | Merge.kif 17591-17593 | The statement a formula has the modal force of necessity if and only if the statement the formula doesn't have the modal force of possibility |
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. | Merge.kif 17690-17692 | The statement a formula has the modal force of prohibition 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. | Music.kif 316-322 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7168-7181 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31377-31382 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31350-31354 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5836-5846 |
|
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. | Medicine.kif 3987-4007 |
|
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. | Dining.kif 1207-1224 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27646-27659 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28057-28069 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3931-3941 |
|
No TPTP formula. May not be expressible in strict first order. | TransportDetail.kif 157-176 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 522-538 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18633-18638 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14875-14884 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14886-14897 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14825-14836 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14905-14914 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14916-14925 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
appearance as argument number 0 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3171-3171 | The statement ADA has the modal force of law |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2368-2368 | 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 2366-2366 | 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 2363-2363 | The statement immigration and nationality act_US has the modal force of law |
![]() |
![]() |