No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16338-16338 |
变得醉了 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16288-16288 |
开始运营 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 107-107 |
生化武器 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14584-14584 |
鸟 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 1189-1189 |
BluRayDisc 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 1190-1190 |
BluRayDisc 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 1180-1180 |
CDR 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14634-14634 |
犬 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1084-1084 |
顶点 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17482-17482 |
离心运动 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1026-1026 |
主席出版物 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 1393-1393 |
CharacterKeyPress 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8721-8721 |
化学酸 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 447-447 |
化学剂 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19560-19560 |
化学还原 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15923-15923 |
服装 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1262-1262 |
群体 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 3217-3217 |
共同载体 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2009-2009 |
复数 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 146-146 |
ComputerDisplay 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 243-243 |
ComputerKeyboardKey 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 242-242 |
ComputerKeyboardKey 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 244-244 |
ComputerKeyboardKey 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 241-241 |
ComputerKeyboardKey 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 367-367 |
ComputerKeyboardKey 和 % 2 是 disjoint |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |