Convex
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2654-2655 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2651-2652 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2647-2649 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2657-2658 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2646-2646 | 凸 是 形状属性 的 instance |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2662-2662 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2661-2661 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2660-2660 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2663-2663 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2665-2676 |
consequent |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2782-2784 |