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 23472-23472 |
例 被捕 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 13106-13106 |
例 出席 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 22871-22871 |
例 貨物 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 11012-11012 |
例 改變位置 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 19677-19677 |
例 比賽參與者 and CaseRole |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23421-23421 |
例 受控 and CaseRole |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23527-23527 |
例 輸送 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 16265-16265 |
例 被告 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 6782-6782 |
例 被拘留者 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 |