|
|
   WinterSeason
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19142-19143 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1667-1667 | WinterSeason est p�riode recurrente de Decembre � F�vrier |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4951-4951 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5095-5095 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5097-5097 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5096-5096 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19141-19141 | WinterSeason est une sous-classe de SeasonOfYear |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19131-19131 | SeasonOfYear est compl�tement d�compos� en WinterSeason, SpringSeason, SummerSeason, + FallSeason |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63213-63213 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63212-63212 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63211-63211 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19152-19157 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19145-19150 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1533-1541 |
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1474-1476 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1452-1454 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1460-1462 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1489-1491 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19208-19213 | |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 1341-1351 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19172-19177 |
|
|
|
