approximateDiameter |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17963-17963 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17961-17962 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17968-17968 | O argumento numero 1 de approximateDiameter e' uma instancia de Objeto auto-conectado |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17969-17969 | O argumento numero 2 de approximateDiameter e' uma instancia de Medida de Comprimento |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17971-17971 | approximateDiameter e' uma instancia de Predicado Binario |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17972-17972 | approximateDiameter e' uma instancia de Relacao com Valor Unico |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17973-17973 | approximateDiameter e' uma instancia de Relacao Total |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2818-2818 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2817-2817 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2816-2816 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17966-17966 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17965-17965 |
antecedent |
consequent |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1083-1088 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31211-31216 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31218-31223 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2786-2798 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7413-7422 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21586-21595 |
|