FemaleConnector
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2795-2796 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2792-2793 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2787-2790 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2798-2800 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2786-2786 | 例 母 and 設備屬性 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2808-2808 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2804-2804 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2807-2807 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2803-2803 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2802-2802 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2806-2806 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2809-2809 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2805-2805 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2811-2813 |
consequent |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2746-2754 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2577-2579 |