No TPTP formula. May not be expressible in strict first order. |
WMD.kif 87-87 |
域子類 AgentOfOrganismFn, 1 and Organism |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 931-931 |
域子類 AlbumCopiesFn, 2 and DataStorageDevice |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7577-7577 |
域子類 AmountsFn, 1 and Substance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1777-1777 |
域子類 attr, 1 and Object |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 6234-6234 |
域子類 BodyAreaFn, 1 and BodyPart |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14972-14972 |
域子類 BodySideFn, 2 and BodyPart |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 1169-1169 |
域子類 細胞部分, 2 and 細胞部分 |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 1047-1047 |
域子類 ContestFn, 1 and Contest |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29725-29725 |
域子類 CoveringFn, 1 and BodyPart |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8589-8589 |
域子類 天, 2 and Month |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 115-115 |
域子類 DeadFn, 1 and OrganicObject |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18239-18239 |
域子類 DeadOrMissingBodyPartFn, 1 and BodyPart |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18324-18324 |
域子類 DepartmentOfFn, 2 and Physical |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18395-18395 |
域子類 DepartmentOfPreventingFn, 2 and Process |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9979-9979 |
域子類 EdemaFn, 1 and BodyPart |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15508-15508 |
域子類 版, 1 and ContentBearingObject |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4514-4514 |
域子類 FailureFn, 1 and IntentionalProcess |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3667-3667 |
域子類 FarmOfProductFn, 1 and Organism |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3724-3724 |
域子類 財政年度開始, 2 and 年 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14858-14858 |
域子類 FoodForFn, 1 and Organism |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5498-5498 |
域子類 一般化交叉口, 1 and SetOrClass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5487-5487 |
域子類 一般化聯盟, 1 and SetOrClass |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6913-6913 |
域子類 GeographicPartTypeFn, 1 and GeographicArea |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8614-8614 |
域子類 小時, 2 and Day |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18218-18218 |
域子類 ImpairedBodyPartFn, 1 and BodyPart |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |