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 17464-17470 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17462-17462 | 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 17463-17463 | 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 17458-17458 | modal attribute is an instance of asymmetric relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17457-17457 | modal attribute is an instance of binary predicate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17459-17459 | modal attribute is an instance of irreflexive relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17460-17460 | modal attribute is an instance of partial valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17461-17461 | 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 17576-17578 | 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 17639-17641 | 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 17675-17677 | 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 17472-17476 |
|
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 17689-17695 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17580-17582 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17643-17645 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17478-17480 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17701-17707 |
|
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 17576-17578 | 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 17639-17641 | 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 17675-17677 | 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 31379-31384 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31352-31356 |
|
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 27648-27661 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28059-28071 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3916-3926 |
|
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 18618-18623 |
|
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 |
![]() |
![]() |