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 | proper part is an instance of asymmetric relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 927-927 | proper part is an instance of transitive relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 928-928 | proper part is a subrelation of part |
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 | engineering subcomponent is a subrelation of proper part |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14045-14045 | geographic subregion is a subrelation of proper part |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1255-1255 | physical end is a subrelation of proper part |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5685-5685 | stream outfall is a subrelation of proper part |
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 | The cell part of an object and a kind of cell part is a proper part of the object |