subAttribute |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 684-684 | subAttribute e successorAttribute sao disjuntos |
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 | O argumento numero 1 de subAttribute e' uma instancia de Atributo |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 683-683 | O argumento numero 2 de subAttribute e' uma instancia de Atributo |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 680-680 | subAttribute e' uma instancia de Predicado Binario |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 681-681 | subAttribute e' uma instancia de Relacao parcialmente Ordenada |
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 e' um sub-atributo de FinancialOrder |
No TPTP formula. May not be expressible in strict first order. | naics.kif 3894-3894 | AbrasiveProductManufacturing e' um sub-atributo de OtherNonmetallicMineralProductManufacturing |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1524-1524 | AbruzzeseCuisine e' um sub-atributo de ItalianCuisine |
No TPTP formula. May not be expressible in strict first order. | Government.kif 327-327 | AbsoluteMonarchy e' um sub-atributo de AuthoritarianRegime |
No TPTP formula. May not be expressible in strict first order. | Government.kif 240-240 | AbsoluteMonarchy e' um sub-atributo de Monarchy |
No TPTP formula. May not be expressible in strict first order. | naics.kif 11559-11559 | Accommodation e' um sub-atributo de AccommodationAndFoodServices |
No TPTP formula. May not be expressible in strict first order. | naics.kif 9900-9900 | AccountingTaxPreparationBookkeepingAndPayrollServices e' um sub-atributo de ProfessionalScientificAndTechnicalServices |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4440-4440 | ActingConsulGeneral e' um sub-atributo de ConsulGeneral |
No TPTP formula. May not be expressible in strict first order. | naics.kif 9289-9289 | ActivitiesRelatedToCreditIntermediation e' um sub-atributo de CreditIntermediationAndRelatedActivities |
No TPTP formula. May not be expressible in strict first order. | naics.kif 9647-9647 | ActivitiesRelatedToRealEstate e' um sub-atributo de RealEstateIndustry |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18807-18807 | Actor e' um sub-atributo de Performer |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 353-353 | Actuary e' um sub-atributo de Scientist |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6029-6029 | AcuteBronchitis e' um sub-atributo de Bronchitis |
No TPTP formula. May not be expressible in strict first order. | naics.kif 3387-3387 | AdhesiveManufacturing e' um sub-atributo de PaintCoatingAndAdhesiveManufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 12355-12355 | AdministrationOfAirAndWaterResourceAndSolidWasteManagementPrograms e' um sub-atributo de AdministrationOfEnvironmentalQualityPrograms |
No TPTP formula. May not be expressible in strict first order. | naics.kif 12364-12364 | AdministrationOfConservationPrograms e' um sub-atributo de AdministrationOfEnvironmentalQualityPrograms |
No TPTP formula. May not be expressible in strict first order. | naics.kif 12395-12395 | AdministrationOfEconomicPrograms e' um sub-atributo de PublicAdministration |
No TPTP formula. May not be expressible in strict first order. | naics.kif 12317-12317 | AdministrationOfEducationPrograms e' um sub-atributo de AdministrationOfHumanResourcePrograms |
No TPTP formula. May not be expressible in strict first order. | naics.kif 12348-12348 | AdministrationOfEnvironmentalQualityPrograms e' um sub-atributo de PublicAdministration |
No TPTP formula. May not be expressible in strict first order. | naics.kif 12401-12401 | AdministrationOfGeneralEconomicPrograms e' um sub-atributo de AdministrationOfEconomicPrograms |
No TPTP formula. May not be expressible in strict first order. | naics.kif 12379-12379 | AdministrationOfHousingPrograms e' um sub-atributo de AdministrationOfHousingProgramsUrbanPlanningAndCommunityDevelopment |
No TPTP formula. May not be expressible in strict first order. | naics.kif 12371-12371 | AdministrationOfHousingProgramsUrbanPlanningAndCommunityDevelopment e' um sub-atributo de PublicAdministration |
No TPTP formula. May not be expressible in strict first order. | naics.kif 12311-12311 | AdministrationOfHumanResourcePrograms e' um sub-atributo de PublicAdministration |
No TPTP formula. May not be expressible in strict first order. | naics.kif 12331-12331 | AdministrationOfHumanResourceProgramsExceptEducationPublicHealthAndVeteransAffairsPrograms e' um sub-atributo de AdministrationOfHumanResourcePrograms |
No TPTP formula. May not be expressible in strict first order. | naics.kif 12324-12324 | AdministrationOfPublicHealthPrograms e' um sub-atributo de AdministrationOfHumanResourcePrograms |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |