Corporation(corporation) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3662-3664 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16263-16266 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5935-5935 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6311-6311 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16259-16259 | Corporation est une sous-classe de Business |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16261-16261 | Corporation est une sous-classe de LegalAgent |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2122-2122 | ATandTCorp est une instance de corporation |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2966-2966 | AbbVie est une instance de corporation |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3851-3851 | AbbottLaboratories est une instance de corporation |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2938-2938 | AdobeComputerCorp est une instance de corporation |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 15-15 | AlphabetCorporation est une instance de corporation |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 14-14 | AppleComputerCorporation est une instance de corporation |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4795-4795 | AstraZeneca est une instance de corporation |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2945-2945 | BioNTech est une instance de corporation |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4831-4831 | BritishMotorCorp est une instance de corporation |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4711-4711 | BritishSeagullCorp est une instance de corporation |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4596-4596 | ByteDance est une instance de corporation |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 5143-5143 | CosworthCorp est une instance de corporation |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4660-4660 | EBay est une instance de corporation |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 68-68 | FacebookCorporation est une instance de corporation |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4465-4465 | FitbitCompany est une instance de corporation |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4901-4901 | FordCorporation est une instance de corporation |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4478-4478 | GeneralMotorsCorp est une instance de corporation |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2960-2960 | GlaxoSmithKline est une instance de corporation |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 16-16 | GoogleCorporation est une instance de corporation |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4453-4453 | HarleyDavidson est une instance de corporation |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4557-4557 | HarleyDavidsonCorp est une instance de corporation |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4482-4482 | HoldenCorporation est une instance de corporation |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 5135-5135 | IconMotorcyleEquipmentCorporation est une instance de corporation |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2942-2942 | JohnsonAndJohnson est une instance de corporation |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2957-2957 | Merck est une instance de corporation |
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. | FinancialOntology.kif 1018-1022 | accountHolder FinancialAccount and agent cognitif agent cognitif est une instance de corporation FinancialAccount est une instance de CorporateAccount |
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19753-19757 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2380-2385 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15043-15051 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29954-29960 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8571-8584 |
|