No TPTP formula. May not be expressible in strict first order. | Geography.kif 4057-4057 | Volcano est une sous-classe de LandForm |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4079-4079 | VolcanicMountain est une sous-classe de Volcano |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4086-4086 | VolcanicCone est une sous-classe de Volcano |
![]() |