subAttribute |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 684-684 | subAttribute et successorAttribute sont disjoint |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1534-1535 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 686-687 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 100-101 | |
No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 117-118 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 682-682 | Le nombre 1 argument de subAttribute est une instance de attribut |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 683-683 | Le nombre 2 argument de subAttribute est une instance de attribut |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 680-680 | subAttribute est une instance de pr�dicat binaire |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 681-681 | subAttribute est une instance de relation partiellement dirig�e |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 317-317 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 322-322 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 181-181 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 270-270 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2001-2001 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 133-133 | |
No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 194-194 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 416-416 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 307-307 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 201-201 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 191-191 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 462-462 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 318-318 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55691-55691 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55690-55690 |
antecedent |
consequent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4557-4563 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 4565-4571 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 4408-4410 |
|
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2899-2899 | AONOrder est un sous-attribut de FinancialOrder |
No TPTP formula. May not be expressible in strict first order. | naics.kif 3894-3894 | AbrasiveProductManufacturing est un sous-attribut de OtherNonmetallicMineralProductManufacturing |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1524-1524 | AbruzzeseCuisine est un sous-attribut de ItalianCuisine |
No TPTP formula. May not be expressible in strict first order. | Government.kif 327-327 | AbsoluteMonarchy est un sous-attribut de AuthoritarianRegime |
No TPTP formula. May not be expressible in strict first order. | Government.kif 240-240 | AbsoluteMonarchy est un sous-attribut de Monarchy |
No TPTP formula. May not be expressible in strict first order. | naics.kif 11559-11559 | Accommodation est un sous-attribut de AccommodationAndFoodServices |
No TPTP formula. May not be expressible in strict first order. | naics.kif 9900-9900 | AccountingTaxPreparationBookkeepingAndPayrollServices est un sous-attribut de ProfessionalScientificAndTechnicalServices |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4440-4440 | ActingConsulGeneral est un sous-attribut de ConsulGeneral |
No TPTP formula. May not be expressible in strict first order. | naics.kif 9289-9289 | ActivitiesRelatedToCreditIntermediation est un sous-attribut de CreditIntermediationAndRelatedActivities |
No TPTP formula. May not be expressible in strict first order. | naics.kif 9647-9647 | ActivitiesRelatedToRealEstate est un sous-attribut de RealEstateIndustry |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18808-18808 | Actor est un sous-attribut de Performer |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 353-353 | Actuary est un sous-attribut de Scientist |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6030-6030 | AcuteBronchitis est un sous-attribut de Bronchitis |
No TPTP formula. May not be expressible in strict first order. | naics.kif 3387-3387 | AdhesiveManufacturing est un sous-attribut de PaintCoatingAndAdhesiveManufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 12355-12355 | AdministrationOfAirAndWaterResourceAndSolidWasteManagementPrograms est un sous-attribut de AdministrationOfEnvironmentalQualityPrograms |
No TPTP formula. May not be expressible in strict first order. | naics.kif 12364-12364 | AdministrationOfConservationPrograms est un sous-attribut de AdministrationOfEnvironmentalQualityPrograms |
No TPTP formula. May not be expressible in strict first order. | naics.kif 12395-12395 | AdministrationOfEconomicPrograms est un sous-attribut de PublicAdministration |
No TPTP formula. May not be expressible in strict first order. | naics.kif 12317-12317 | AdministrationOfEducationPrograms est un sous-attribut de AdministrationOfHumanResourcePrograms |
No TPTP formula. May not be expressible in strict first order. | naics.kif 12348-12348 | AdministrationOfEnvironmentalQualityPrograms est un sous-attribut de PublicAdministration |
No TPTP formula. May not be expressible in strict first order. | naics.kif 12401-12401 | AdministrationOfGeneralEconomicPrograms est un sous-attribut de AdministrationOfEconomicPrograms |
No TPTP formula. May not be expressible in strict first order. | naics.kif 12379-12379 | AdministrationOfHousingPrograms est un sous-attribut de AdministrationOfHousingProgramsUrbanPlanningAndCommunityDevelopment |
No TPTP formula. May not be expressible in strict first order. | naics.kif 12371-12371 | AdministrationOfHousingProgramsUrbanPlanningAndCommunityDevelopment est un sous-attribut de PublicAdministration |
No TPTP formula. May not be expressible in strict first order. | naics.kif 12311-12311 | AdministrationOfHumanResourcePrograms est un sous-attribut de PublicAdministration |
No TPTP formula. May not be expressible in strict first order. | naics.kif 12331-12331 | AdministrationOfHumanResourceProgramsExceptEducationPublicHealthAndVeteransAffairsPrograms est un sous-attribut de AdministrationOfHumanResourcePrograms |
No TPTP formula. May not be expressible in strict first order. | naics.kif 12324-12324 | AdministrationOfPublicHealthPrograms est un sous-attribut de AdministrationOfHumanResourcePrograms |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |