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 14995-14995 |
範圍子類 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 29714-29714 |
範圍子類 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 8612-8612 |
範圍子類 天 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 30619-30619 |
範圍子類 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 9979-9979 |
範圍子類 EdemaFn and Edema |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15532-15532 |
範圍子類 版 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 14881-14881 |
範圍子類 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 8637-8637 |
範圍子類 小時 and Hour |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13492-13492 |
範圍子類 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 |