Balcony |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15408-15409 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15407-15407 | Balcony e' uma sub-classe de Artefato Estacionario |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15410-15410 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15412-15419 |