properPart |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1573-1575 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 930-933 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 147-149 | |
No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 172-174 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 926-926 | 例 適當的部分 and AsymmetricRelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 927-927 | 例 適當的部分 and TransitiveRelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 928-928 | 子關係 適當的部分 and 部分 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 175-175 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 176-176 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 107-107 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 234-234 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1936-1936 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 59-59 | |
No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 65-65 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 220-220 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 272-272 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 126-126 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 112-112 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 426-426 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16083-16083 | 子關係 工程子組件 and 適當的部分 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14045-14045 | 子關係 地理分區域 and 適當的部分 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1255-1255 | 子關係 physicalEnd and 適當的部分 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5685-5685 | 子關係 流出口 and 適當的部分 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 176-176 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47798-47798 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47797-47797 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47796-47796 | |
No TPTP formula. May not be expressible in strict first order. | terms-de.txt 69-69 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10052-10056 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10058-10062 |
|
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1909-1915 | |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2082-2088 |
|
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2001-2007 |
|
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2029-2035 |
|
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1977-1983 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9939-9947 | |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2423-2430 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 935-940 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9885-9892 | |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1935-1948 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18564-18577 | |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1920-1929 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 942-947 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1914-1920 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9837-9846 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1199-1207 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1212-1222 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2563-2568 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5138-5143 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18477-18488 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9918-9921 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 82-87 | |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1090-1095 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10882-10887 | |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1185-1196 | |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 571-576 | |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 558-569 | |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 356-361 | |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1145-1150 | |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1126-1131 | |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1138-1143 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4530-4532 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3482-3509 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1174-1174 | 適當的部分 Object 和 細胞部分 的 cell 部分 and Object |