Sonar(sonar) | asdic, echo_sounder, pinger, sonar |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2613-2616 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 882-882 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2612-2612 | Sonar is a subclass of corpuscular object |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53946-53946 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53945-53945 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53944-53944 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2626-2628 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2618-2624 |
|