disjointDecomposition |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1515-1516 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 571-572 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 80-81 | |
No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 92-93 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 566-566 | 域 不相交分解, 1 and Class |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 567-567 | 域 不相交分解, 2 and Class |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 564-564 | 例 不相交分解 and Predicate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 565-565 | 例 不相交分解 and VariableArityRelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 569-569 | 相關的內部概念 不相交分解 and 不相交的 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 568-568 | 相關的內部概念 不相交分解 and 徹底分解 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 287-287 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 292-292 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 166-166 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 76-76 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1986-1986 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 118-118 | |
No TPTP formula. May not be expressible in strict first order. | relations-cb.txt 110-110 | |
No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 186-186 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 373-373 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 116-116 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 186-186 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 173-173 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 168-168 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19854-19854 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 288-288 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19853-19853 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19852-19852 | |
No TPTP formula. May not be expressible in strict first order. | terms-de.txt 116-116 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 169-169 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 596-600 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2968-2973 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2950-2955 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2957-2966 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 574-578 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 590-594 |
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1670-1670 | 不相交分解 Abstract, Quantity, Attribute, Relation, Proposition and List |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14525-14525 | 不相交分解 Arthropod, Arachnid, Myriapod, Insect and Crustacean |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14547-14547 | 不相交分解 ColdBloodedVertebrate, Amphibian, Fish and Reptile |
No TPTP formula. May not be expressible in strict first order. | Military.kif 283-284 | 不相交分解 委任軍官級別, 國旗官員級別, 現場等級軍官等級 and 公司等級排名 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3215-3215 | 不相交分解 電腦狀態, 準備好主持, 主持人 and 啟動中 |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 180-180 | 不相交分解 微分方程, 一階微分方程 and 高階微分方程 |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 190-190 | 不相交分解 微分方程, 常微分方程 and 偏微分方程 |
No TPTP formula. May not be expressible in strict first order. | Military.kif 269-269 | 不相交分解 士兵軍銜, 私人排名 and 非委任軍官級別 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12944-12944 | 不相交分解 Expressing, 表示贊同 and 表示不贊成 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16977-16977 | 不相交分解 遊戲神器, 遊戲板 and 遊戲片 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14504-14504 | 不相交分解 Invertebrate, Worm, Mollusk and Arthropod |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 37-37 | 不相交分解 LAN, 公交網絡, 星網 and 環網 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1406-1406 | 不相交分解 Language, AnimalLanguage, HumanLanguage and ComputerLanguage |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14581-14581 | 不相交分解 Mammal, AquaticMammal, HoofedMammal, Marsupial, Rodent and Primate |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3505-3505 | 不相交分解 NSAID, Aspirin, Ibuprofen and Acetaminophen |
No TPTP formula. May not be expressible in strict first order. | Military.kif 306-306 | 不相交分解 非委任軍官級別, 初級NCO排名 and 高級NCO排名 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14410-14410 | 不相交分解 NonFloweringPlant, Alga, Fern and Moss |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14682-14682 | 不相交分解 Nutrient, Protein, Carbohydrate and Vitamin |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15302-15302 | 不相交分解 Phrase, VerbPhrase, NounPhrase and PrepositionalPhrase |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2087-2087 | 不相交分解 發電, 化石燃料發電, 水力發電, 核能發電 and 其他發電源 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14627-14627 | 不相交分解 Primate, Ape, Monkey and Hominid |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2160-2161 | 不相交分解 Relation, BinaryRelation, TernaryRelation, QuaternaryRelation, QuintaryRelation and VariableArityRelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15777-15777 | 不相交分解 住宅, 永久居留權 and 暫住 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14231-14231 | 不相交分解 Sentence, 聲明, 假想, 題, 請求 and 訂購 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15125-15125 | 不相交分解 Tissue, ConnectiveTissue, MuscleTissue, NervousTissue and EpithelialTissue |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |