airTemperature |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25664-25668 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25661-25661 | O argumento numero 1 de airTemperature e' uma instancia de Objeto |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25662-25662 | O argumento numero 2 de airTemperature e' uma instancia de Medida de Temperatura |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25660-25660 | airTemperature e' uma instancia de Predicado Binario |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25663-25663 | airTemperature e' uma sub-relacao de measure |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 120-120 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 119-119 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 118-118 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 6282-6282 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 6281-6281 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 6280-6280 |
antecedent |
consequent |