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 16132-16138 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16130-16130 | 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 16131-16131 | 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 16126-16126 | modal attribute is an instance of asymmetric relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16125-16125 | modal attribute is an instance of binary predicate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16127-16127 | modal attribute is an instance of irreflexive relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16128-16128 | modal attribute is an instance of partial valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16129-16129 | 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 597-597 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 38125-38125 | |
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 38124-38124 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 38123-38123 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11487-11494 | 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 16244-16246 | 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 16307-16309 | 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 16343-16345 | 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 725-748 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16140-16144 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11446-11451 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16357-16359 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16248-16250 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16311-16313 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16146-16148 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16365-16367 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11487-11494 | 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 16244-16246 | 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 16307-16309 | 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 16343-16345 | 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 11715-11725 |
|
No TPTP formula. May not be expressible in strict first order. | Music.kif 313-319 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27644-27649 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27617-27621 |
|
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 193-210 |
|
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 125-134 |
|
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1154-1171 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23708-23721 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24191-24203 |
|
No TPTP formula. May not be expressible in strict first order. | TransportDetail.kif 153-171 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 498-514 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17110-17115 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11164-11173 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11174-11185 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11119-11127 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11193-11202 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11204-11213 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17094-17099 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11135-11144 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11145-11156 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11102-11110 |
|
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. | Government.kif 2348-2348 | 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 2346-2346 | 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 2343-2343 | The statement immigration and nationality act-US has the modal force of law |
![]() |
![]() |