No TPTP formula. May not be expressible in strict first order. |
WMD.kif 88-88 |
AgentOfOrganismFn 的所得值 是 生物制剂 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 932-932 |
AlbumCopiesFn 的所得值 是 DataStorageDevice 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1776-1776 |
Attr 的所得值 是 客体 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 6235-6235 |
BodyAreaFn 的所得值 是 身体部位 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14973-14973 |
BodySideFn 的所得值 是 身体部位 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 675-675 |
宪法 的所得值 是 宪法 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29726-29726 |
CoveringFn 的所得值 是 可穿戴物品 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6072-6072 |
分图路径函数 的所得值 是 图路径 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8590-8590 |
日函数 的所得值 是 日 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 116-116 |
DeadFn 的所得值 是 OrganismRemains 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30631-30631 |
DemonymFn 的所得值 是 NationalPerson 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3013-3013 |
文献 的所得值 是 文本 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9980-9980 |
EdemaFn 的所得值 是 Edema 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15510-15510 |
版本函数 的所得值 是 有内用物体 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1686-1686 |
选举 的所得值 是 选举 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4515-4515 |
FailureFn 的所得值 是 过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3668-3668 |
FarmOfProductFn 的所得值 是 耕地面积 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3698-3698 |
财政年度 的所得值 是 时距 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14859-14859 |
FoodForFn 的所得值 是 自身连接物体 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6915-6915 |
GeographicPartTypeFn 的所得值 是 地理区域 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6056-6056 |
图路函数 的所得值 是 图路径 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8615-8615 |
时函数 的所得值 是 小时 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13470-13470 |
ImpairmentFn 的所得值 是 生物过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6585-6585 |
间隔函数 的所得值 是 恒量 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2600-2600 |
JuiceOfFn 的所得值 是 Juice 的 subclass |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |