No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2307-2307 |
Earth tremor is a subclass of tremor |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21569-21569 |
Trembling is a subclass of tremor |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 59146-59146 |
Trembling is a subclass of tremor |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 59145-59145 |
Trembling is a subclass of tremor |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 59144-59144 |
Trembling is a subclass of tremor |