Crib
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3934-3934 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3933-3933 | Crib is a subclass of bed |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3935-3935 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1270-1278 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3937-3944 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26829-26834 |
|