No TPTP formula. May not be expressible in strict first order. |
WMD.kif 88-88 |
範圍子類 AgentOfOrganismFn and 生物製劑 |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 932-932 |
範圍子類 AlbumCopiesFn and DataStorageDevice |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1776-1776 |
範圍子類 attr and Object |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 6235-6235 |
範圍子類 BodyAreaFn and BodyPart |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14973-14973 |
範圍子類 BodySideFn and BodyPart |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 675-675 |
範圍子類 憲法 and 憲法 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29726-29726 |
範圍子類 CoveringFn and 可穿戴物品 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6072-6072 |
範圍子類 切集 and GraphPath |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8590-8590 |
範圍子類 天 and Day |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 116-116 |
範圍子類 DeadFn and OrganismRemains |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30631-30631 |
範圍子類 DemonymFn and NationalPerson |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3013-3013 |
範圍子類 文獻 and Text |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9980-9980 |
範圍子類 EdemaFn and Edema |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15510-15510 |
範圍子類 版 and ContentBearingObject |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1686-1686 |
範圍子類 選舉 and 選舉 |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4515-4515 |
範圍子類 FailureFn and Process |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3668-3668 |
範圍子類 FarmOfProductFn and 耕地面積 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3698-3698 |
範圍子類 財政年度 and TimeInterval |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14859-14859 |
範圍子類 FoodForFn and SelfConnectedObject |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6915-6915 |
範圍子類 GeographicPartTypeFn and GeographicArea |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6056-6056 |
範圍子類 圖形路徑 and GraphPath |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8615-8615 |
範圍子類 小時 and Hour |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13470-13470 |
範圍子類 ImpairmentFn and BiologicalProcess |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6585-6585 |
範圍子類 間隔 and ConstantQuantity |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2600-2600 |
範圍子類 JuiceOfFn and Juice |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |