|
|
   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 16192-16195 | |
| 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 16188-16188 | Empresa e' uma sub-classe de Business |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16190-16190 | Empresa e' uma sub-classe de LegalAgent |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2122-2122 | ATandTCorp e' uma instancia de Empresa |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2966-2966 | AbbVie e' uma instancia de Empresa |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3851-3851 | AbbottLaboratories e' uma instancia de Empresa |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2938-2938 | AdobeComputerCorp e' uma instancia de Empresa |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 15-15 | AlphabetCorporation e' uma instancia de Empresa |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 14-14 | AppleComputerCorporation e' uma instancia de Empresa |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4795-4795 | AstraZeneca e' uma instancia de Empresa |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2945-2945 | BioNTech e' uma instancia de Empresa |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4846-4846 | BritishMotorCorp e' uma instancia de Empresa |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4726-4726 | BritishSeagullCorp e' uma instancia de Empresa |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4596-4596 | ByteDance e' uma instancia de Empresa |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 5158-5158 | CosworthCorp e' uma instancia de Empresa |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4660-4660 | EBay e' uma instancia de Empresa |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 68-68 | FacebookCorporation e' uma instancia de Empresa |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4465-4465 | FitbitCompany e' uma instancia de Empresa |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4916-4916 | FordCorporation e' uma instancia de Empresa |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4493-4493 | GeneralMotorsCorp e' uma instancia de Empresa |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2960-2960 | GlaxoSmithKline e' uma instancia de Empresa |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 16-16 | GoogleCorporation e' uma instancia de Empresa |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4468-4468 | HarleyDavidson e' uma instancia de Empresa |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4572-4572 | HarleyDavidsonCorp e' uma instancia de Empresa |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4497-4497 | HoldenCorporation e' uma instancia de Empresa |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 5150-5150 | IconMotorcyleEquipmentCorporation e' uma instancia de Empresa |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2942-2942 | JohnsonAndJohnson e' uma instancia de Empresa |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2957-2957 | Merck e' uma instancia de Empresa |
| 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 Agente Cognitivo Agente Cognitivo e' uma instancia de Empresa FinancialAccount e' uma instancia de CorporateAccount |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19726-19730 |
|
| 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 15016-15024 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29930-29936 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8544-8557 |
|
|
|
