Carabiner
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30786-30790 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30785-30785 | Karabiner is a subclass of device |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30837-30837 | Climbing carabiner is a subclass of karabiner |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30850-30850 | Uncertified carabiner is a subclass of karabiner |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30791-30791 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30792-30792 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30807-30813 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30815-30826 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30828-30835 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30798-30805 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30794-30796 |
|