VolcanicallyActive(volcanically active) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4068-4068 | Volcanically active is the opposite of volcanically dormant |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4065-4065 | Volcanically active is an instance of volcano status |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4069-4069 | Volcanically active are all the attributes of volcano status |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 61869-61869 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 61868-61868 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 61867-61867 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1858-1863 |
|