part |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1570-1572 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 920-924 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 143-146 | |
No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 168-171 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 917-917 | Le nombre 1 argument de part est une instance de objet |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 918-918 | Le nombre 2 argument de part est une instance de objet |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 916-916 | part est une instance de pr�dicat binaire |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 915-915 | part est une instance de relation partiellement dirig�e |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 914-914 | part est une instance de relation spatial |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1018-1018 | contains et part sont disjoint |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 161-161 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 162-162 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 100-100 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 210-210 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1929-1929 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 52-52 | |
No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 64-64 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 197-197 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 248-248 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 119-119 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 101-101 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 402-402 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23698-23698 | initialPart est reli� � l'int�rieur de SUMO � part |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23725-23725 | initiallyContainsPart est reli� � l'int�rieur de SUMO � part |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23751-23751 | partTypes est reli� � l'int�rieur de SUMO � part |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23624-23624 | typicalPart est reli� � l'int�rieur de SUMO � part |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23661-23661 | typicallyContainsPart est reli� � l'int�rieur de SUMO � part |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 965-965 | component est une sous-relation de part |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 34-34 | geneticSubstrateOfVirus est une sous-relation de part |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13172-13172 | half est une sous-relation de part |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24376-24376 | inString est une sous-relation de part |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9692-9692 | interiorPart est une sous-relation de part |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13215-13215 | most est une sous-relation de part |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7440-7451 | Objet est une instance de ParticulateMatter objet en une partie est une partie de objet approximateDiameter objet en une partie and nombre r�el Micrometer(s) 10.0 est plus grand que nombre r�el nombre r�el est plus grand que 2.5 objet10 objet10 est une instance de CoarseParticulateMatter objet10 est une partie de objet |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7469-7479 | Objet est une instance de ParticulateMatter objet en une partie est une partie de objet approximateDiameter objet en une partie and nombre r�el Micrometer(s) nombre r�el est plus grand ou �gal � 2.5 objet25 objet25 est une instance de FineParticulateMatter objet25 est une partie de objet |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7596-7611 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10685-10696 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10672-10683 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1754-1759 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1766-1771 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 172-187 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 155-170 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2693-2704 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2665-2676 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19443-19453 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9715-9720 |
|
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 703-711 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 234-249 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 514-518 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1538-1544 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2585-2603 |
|
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1923-1939 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2636-2644 | |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 794-803 |
|
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1838-1860 |
|
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1862-1884 |
|
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1799-1807 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18246-18254 | |
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. | Merge.kif 12466-12473 | Processus est une instance de combiner objet est une resource pour processus entit� est le resultat de processus objet est une partie de entit� pendant le d�but de temps d'existence de processus objet est une partie de entit� pendant la fin de temps d'existence de processus |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7440-7451 | Objet est une instance de ParticulateMatter objet en une partie est une partie de objet approximateDiameter objet en une partie and nombre r�el Micrometer(s) 10.0 est plus grand que nombre r�el nombre r�el est plus grand que 2.5 objet10 objet10 est une instance de CoarseParticulateMatter objet10 est une partie de objet |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7469-7479 | Objet est une instance de ParticulateMatter objet en une partie est une partie de objet approximateDiameter objet en une partie and nombre r�el Micrometer(s) nombre r�el est plus grand ou �gal � 2.5 objet25 objet25 est une instance de FineParticulateMatter objet25 est une partie de objet |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11682-11689 | Objet est une instance de os objet objet est une instance de Skeleton objet est une instance de Exoskeleton objet est une partie de objet |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1277-1287 | totalFacilityTypeInArea secteur g�ographique, la classe correspondant � AirportWithPavedRunway and nombre entier non n�gatif cha�ne sympbolique entit� cardinality la classe d�crite par cha�ne sympbolique and nombre entier non n�gatif |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 632-640 |
|
No TPTP formula. May not be expressible in strict first order. | Music.kif 316-322 |
|
No TPTP formula. May not be expressible in strict first order. | Music.kif 426-436 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19443-19453 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4078-4095 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1207-1216 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1935-1946 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 48-56 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11967-11977 |
|
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 32-46 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1127-1140 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2636-2644 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5267-5276 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6357-6364 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2567-2583 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9894-9901 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23710-23719 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23737-23745 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6237-6246 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6257-6275 |
|
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 1163-1163 | ViralPartFn virus and VirusPart est une partie de virus |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 711-711 | AtlantaGeorgia est une partie de Georgia |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 662-662 | Australia est une partie de Oceania |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 714-714 | BaltimoreMaryland est une partie de Maryland |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 724-724 | BostonMassachusetts est une partie de Massachusetts |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1611-1611 | ChicagoUnitedStates est une partie de Illinois |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 854-854 | ClevelandOhio est une partie de Ohio |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 915-915 | Connecticut est une partie de NewEngland |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 851-851 | DallasTexas est une partie de Texas |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 841-841 | DetroitMichigan est une partie de Michigan |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 835-835 | FargoNorthDakota est une partie de NorthDakota |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1242-1242 | Germany est une partie de Europe |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1245-1245 | Greece est une partie de Europe |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 828-828 | HoustonTexas est une partie de Texas |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 832-832 | HudsonRiver est une partie de NewYorkState |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 728-728 | KansasCityMissouri est une partie de Missouri |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 820-820 | KoreanPeninsula est une partie de Asia |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 805-805 | LongIsland est une partie de NewYorkState |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 810-810 | LosAngelesCalifornia est une partie de California |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 731-731 | ManchesterNewHampshire est une partie de NewHampshire |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 989-989 | Massachusetts est une partie de NewEngland |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 733-733 | MemphisTennessee est une partie de Tennessee |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 737-737 | MinneapolisMinnesota est une partie de Minnesota |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 740-740 | MississippiRiver est une partie de UnitedStates |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 746-746 | MontrealCanada est une partie de Canada |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |