No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 974-974 |
不相交的 在線以上 and 在線下面 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8792-8792 |
不相交的 下午 and Evening |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 360-360 |
不相交的 AltKey and ControlKey |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 362-362 |
不相交的 AltKey and FunctionKey |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 361-361 |
不相交的 AltKey and ShiftKey |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 1313-1313 |
不相交的 AltKeyHoldDown and ControlKeyHoldDown |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 1312-1312 |
不相交的 AltKeyHoldDown and ShiftKeyHoldDown |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8233-8233 |
不相交的 無氧運動裝置 and 有氧運動裝置 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19107-19107 |
不相交的 午前 and 發布meridiem |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6937-6937 |
不相交的 公寓樓 and 單身家庭住所 |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 295-295 |
不相交的 ArrowKey and EnterKey |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14678-14678 |
不相交的 Article and Book |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 172-172 |
不相交的 火砲 and 軍用坦克 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5954-5954 |
不相交的 瀝青 and 化石燃料 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14023-14023 |
不相交的 AstronomicalBody and GeographicArea |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12348-12348 |
不相交的 Attaching and Detaching |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 1656-1656 |
不相交的 AudioInput and JoystickMotion |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 1657-1657 |
不相交的 AudioInput and KeyboardAction |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 1655-1655 |
不相交的 AudioInput and TouchSurfaceAction |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10164-10164 |
不相交的 自主過程 and IntentionalProcess |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15737-15737 |
不相交的 穀倉 and 住宅樓 |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 740-740 |
不相交的 棒球偷 and 棒球擊中 |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 739-739 |
不相交的 棒球偷 and 棒球步行 |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 748-748 |
不相交的 棒球罷工 and 棒球擊中 |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 696-696 |
不相交的 棒球步行 and 棒球擊中 |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |