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 | 子類 Carabiner and Device |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30837-30837 | 子類 ClimbingCarabiner and Carabiner |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30850-30850 | 子類 UncertifiedCarabiner and Carabiner |
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 |
|