No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19130-19130 | SeasonOfYear e' uma sub-classe de Intervalo Temporal |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19141-19141 | WinterSeason e' uma sub-classe de SeasonOfYear |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19159-19159 | SpringSeason e' uma sub-classe de SeasonOfYear |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19179-19179 | SummerSeason e' uma sub-classe de SeasonOfYear |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19197-19197 | FallSeason e' uma sub-classe de SeasonOfYear |