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 | Le nombre 1 argument de modalAttribute est une instance de formule |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17303-17303 | Le nombre 2 argument de modalAttribute est une instance de attribut normatif |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17298-17298 | modalAttribute est une instance de relation asym�trique |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17297-17297 | modalAttribute est une instance de pr�dicat binaire |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17299-17299 | modalAttribute est une instance de relation irr�flexive |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17300-17300 | modalAttribute est une instance de relation partielle |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17301-17301 | modalAttribute est une sous-relation de 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 | L'argument formule a la force modale de Legal formule l'argument formule a la force modale de Law consistent formule and formule |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17416-17418 | L'argument formule a la force modale de Necessity l'argument formule n' %n{pas} la force modale de Possibility |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17479-17481 | L'argument formule a la force modale de Obligation l'argument formule n' %n{pas} la force modale de Permission |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17515-17517 | L'argument formule a la force modale de Prohibition l'argument formule n' %n{pas} la force modale de 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 | L'argument formule a la force modale de Legal formule l'argument formule a la force modale de Law consistent formule and formule |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17416-17418 | L'argument formule a la force modale de Necessity l'argument formule n' %n{pas} la force modale de Possibility |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17479-17481 | L'argument formule a la force modale de Obligation l'argument formule n' %n{pas} la force modale de Permission |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17515-17517 | L'argument formule a la force modale de Prohibition l'argument formule n' %n{pas} la force modale de 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 | L'argument AmericansWithDisabilitiesAct-US a la force modale de Law |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2407-2407 | L'argument AntiterrorismAndEffectiveDeathPenaltyAct a la force modale de Law |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2405-2405 | L'argument ImmigrationAndNationalityAct-Section219-US a la force modale de Law |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2402-2402 | L'argument ImmigrationAndNationalityAct-US a la force modale de Law |