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 17304-17310 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17302-17302 | 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 17303-17303 | 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 17298-17298 | modal attribute is an instance of asymmetric relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17297-17297 | modal attribute is an instance of binary predicate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17299-17299 | modal attribute is an instance of irreflexive relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17300-17300 | modal attribute is an instance of partial valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17301-17301 | 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 38199-38199 | |
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 38198-38198 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 38197-38197 |
antecedent |
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. | Merge.kif 17416-17418 | 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 17479-17481 | 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 17515-17517 | 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 17312-17316 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13814-13819 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17529-17531 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17420-17422 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17483-17485 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17318-17320 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17537-17539 |
|
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. | Merge.kif 17416-17418 | 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 17479-17481 | 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 17515-17517 | 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 14079-14089 |
|
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 6231-6244 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29458-29463 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29431-29435 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5824-5834 |
|
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 3984-4004 |
|
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 25748-25761 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26159-26171 |
|
No TPTP formula. May not be expressible in strict first order. | TransportDetail.kif 153-172 |
|
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 18446-18451 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13536-13545 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13547-13558 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13486-13497 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13566-13575 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13577-13586 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18429-18434 |
|
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 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 |