| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2848-2852 |
|
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2845-2845 |
域 says, 1 and CognitiveAgent |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2846-2846 |
域 says, 2 and Formula |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2843-2843 |
例 says and BinaryPredicate |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2842-2842 |
例 says and PropositionalAttitude |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2844-2844 |
子關係 says and 在感興趣的範圍內 |
says