Crib(crib) | ![]() | cot, crib |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4384-4384 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4383-4383 | 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 4385-4385 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1278-1286 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4387-4394 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28695-28700 |
|
![]() |
![]() |