|
|
  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 | 母 是 设备属性 的 instance |
| 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 |
|
|
|