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 是 格角色 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2431-2431 |
主事 是 格角色 的 instance |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1446-1446 |
amountOfBid 是 格角色 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23473-23473 |
逮捕 是 格角色 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Law.kif 226-226 |
arrestingOfficer 是 格角色 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13084-13084 |
出席 是 格角色 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Law.kif 443-443 |
attorney 是 格角色 的 instance |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1680-1680 |
broker 是 格角色 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22872-22872 |
货物 是 格角色 的 instance |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 250-250 |
催化剂 是 格角色 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10990-10990 |
改变位置 是 格角色 的 instance |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 201-201 |
电脑运行 是 格角色 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19678-19678 |
比赛参与者 是 格角色 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23422-23422 |
控制 是 格角色 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23528-23528 |
运输工具 是 格角色 的 instance |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1875-1875 |
数据已处理 是 格角色 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16266-16266 |
被告 是 格角色 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Law.kif 280-280 |
defenseLawyer 是 格角色 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2442-2442 |
终点 是 格角色 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6783-6783 |
被拘留者 是 格角色 的 instance |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1703-1703 |
eCommerceSite 是 格角色 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4120-4120 |
eventLocated 是 格角色 的 instance |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |