No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 384-384 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 383-383 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 382-382 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4160-4160 |
例 accountUsed and CaseRole |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2431-2431 |
例 agent and CaseRole |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1446-1446 |
例 amountOfBid and CaseRole |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23473-23473 |
例 被捕 and CaseRole |
No TPTP formula. May not be expressible in strict first order. |
Law.kif 226-226 |
例 arrestingOfficer and CaseRole |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13084-13084 |
例 出席 and CaseRole |
No TPTP formula. May not be expressible in strict first order. |
Law.kif 443-443 |
例 attorney and CaseRole |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1680-1680 |
例 broker and CaseRole |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22872-22872 |
例 貨物 and CaseRole |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 250-250 |
例 催化劑 and CaseRole |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10990-10990 |
例 改變位置 and CaseRole |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 201-201 |
例 電腦運行 and CaseRole |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19678-19678 |
例 比賽參與者 and CaseRole |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23422-23422 |
例 受控 and CaseRole |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23528-23528 |
例 輸送 and CaseRole |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1875-1875 |
例 數據已處理 and CaseRole |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16266-16266 |
例 被告 and CaseRole |
No TPTP formula. May not be expressible in strict first order. |
Law.kif 280-280 |
例 defenseLawyer and CaseRole |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2442-2442 |
例 目的地 and CaseRole |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6783-6783 |
例 被拘留者 and CaseRole |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1703-1703 |
例 eCommerceSite and CaseRole |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4120-4120 |
例 eventLocated and CaseRole |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |