result |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2515-2515 | 不相交的關係 結果 and 儀器 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1895-1896 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2554-2556 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 521-522 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2551-2551 | 域 結果, 1 and Process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2552-2552 | 域 結果, 2 and Entity |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2549-2549 | 例 結果 and CaseRole |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2550-2550 | 例 結果 and PartialValuedRelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2548-2548 | 子關係 結果 and 患者 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2513-2513 | 不相交的關係 資源 and 結果 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 183-183 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 184-184 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 111-111 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 257-257 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1940-1940 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 63-63 | |
No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 87-87 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 232-232 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 294-294 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 130-130 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 116-116 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 449-449 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 184-184 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49795-49795 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49794-49794 | |
No TPTP formula. May not be expressible in strict first order. | terms-de.txt 73-73 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12466-12473 | 例 Process and Combining 資源 Process and Object 結果 Process and Entity 持有期間 開始 何時 Process and 部分 Object and Entity 持有期間 結束 何時 Process and 部分 Object and Entity |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20760-20767 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18837-18843 | |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 730-740 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20734-20743 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3040-3054 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3022-3038 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12828-12832 |
|
No TPTP formula. May not be expressible in strict first order. | Dining.kif 586-602 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20415-20420 | |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 172-178 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10055-10078 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10025-10046 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 74-83 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12046-12062 | |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 690-694 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12547-12556 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1527-1533 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10840-10848 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3794-3798 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5485-5493 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3692-3699 | |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 654-660 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16047-16052 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2687-2692 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26329-26340 | 例 Process and Photocopying 患者 Process and 內容承載物理 例 內容承載物理 and VisualContentBearingObject 包含信息 內容承載物理 and Proposition 內容承載物理 Proposition 結果 Process and 內容承載物理 例 內容承載物理 and VisualContentBearingObject 包含信息 內容承載物理 and Proposition 等於 Proposition and Proposition |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6478-6488 | 例 Entity and 共軛物質 Object Object and Process 例 Object and CompoundSubstance 例 Object and CompoundSubstance 等於 Object and Object 例 Process and ChemicalSynthesis 資源 Process and Object 資源 Process and Object 結果 Process and Entity |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 968-975 | Integer 是 Organization 的 year 資金 Process IntegerEAR 暫時重疊 何時 Process and IntegerEAR 例 IntegerEAR and 年 Integer 例 Process and 創建 結果 Process and Organization |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20752-20758 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17332-17345 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4195-4204 | |
No TPTP formula. May not be expressible in strict first order. | Communications.kif 202-214 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 994-1003 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3199-3211 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8726-8736 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19379-19392 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10222-10237 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 85-94 |
|
No TPTP formula. May not be expressible in strict first order. | WMD.kif 750-758 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1190-1205 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3665-3678 |
|
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 655-669 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1012-1026 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6219-6228 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1607-1617 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5210-5222 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4384-4399 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2078-2091 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16802-16810 |
|
No TPTP formula. May not be expressible in strict first order. | Military.kif 32-44 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |