No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 951-951 |
不相交的 ComputerMenu and ScrollBar |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 398-398 |
不相交的 ComputerMouse and ComputerKeyboard |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 435-435 |
不相交的 ComputerScreen and ComputerTouchpad |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6951-6951 |
不相交的 公寓大樓 and 單身家庭住所 |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 354-354 |
不相交的 ControlKey and FunctionKey |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 353-353 |
不相交的 ControlKey and ShiftKey |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1014-1014 |
不相交的 企業帳戶 and 個人賬戶 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1227-1227 |
不相交的 CorpuscularObject and Substance |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5675-5675 |
不相交的 溪 and 河 |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 1082-1082 |
不相交的 Cursor and InterfaceWindow |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12293-12293 |
不相交的 Damaging and Repairing |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8882-8882 |
不相交的 一天的時間 and 晚上的時間 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6389-6389 |
不相交的 DeciduousTree and EvergreenTree |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12732-12732 |
不相交的 Decoding and Encoding |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 427-427 |
不相交的 存款 and 退出 |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2298-2298 |
不相交的 排水型船體水車 and 滑行船體水車 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20017-20017 |
不相交的 家畜 and Human |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6979-6979 |
不相交的 宿舍 and 單身家庭住所 |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 316-316 |
不相交的 DownArrowKey and LeftArrowKey |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 315-315 |
不相交的 DownArrowKey and RightArrowKey |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18234-18234 |
不相交的 做夢 and IntentionalProcess |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 508-508 |
不相交的 Earphone and Loudspeaker |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3526-3526 |
不相交的 過期的卡 and 有效卡 |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 745-745 |
不相交的 ExternalDiskDrive and InternalHardDisk |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1535-1535 |
不相交的 FHA貸款 and 傳統抵押貸款 |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |