approximateDiameter |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17936-17936 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17934-17935 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17941-17941 | 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 17942-17942 | 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 17944-17944 | approximateDiameter e' uma instancia de Predicado Binario |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17945-17945 | approximateDiameter e' uma instancia de Relacao com Valor Unico |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17946-17946 | 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 17939-17939 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17938-17938 |
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 31179-31184 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31186-31191 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2803-2815 |
|
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 21559-21568 |
|