|
|
   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 16214-16217 | |
| 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 16210-16210 | 子類 Corporation and Business |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16212-16212 | 子類 Corporation and LegalAgent |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2122-2122 | 例 ATandTCorp and Corporation |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2966-2966 | 例 AbbVie and Corporation |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3851-3851 | 例 AbbottLaboratories and Corporation |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2938-2938 | 例 Adobe and Corporation |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 15-15 | 例 Alphabet公司 and Corporation |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 14-14 | 例 蘋果 and Corporation |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4795-4795 | 例 AstraZeneca and Corporation |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2945-2945 | 例 BioNTech and Corporation |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4854-4854 | 例 BritishMotorCorp and Corporation |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4734-4734 | 例 BritishSeagullCorp and Corporation |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4596-4596 | 例 ByteDance and Corporation |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 5166-5166 | 例 CosworthCorp and Corporation |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4660-4660 | 例 EBay and Corporation |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 68-68 | 例 臉書 and Corporation |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4465-4465 | 例 FitbitCompany and Corporation |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4924-4924 | 例 FordCorporation and Corporation |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4501-4501 | 例 GeneralMotorsCorp and Corporation |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2960-2960 | 例 GlaxoSmithKline and Corporation |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 16-16 | 例 GoogleCorporation and Corporation |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4476-4476 | 例 HarleyDavidson and Corporation |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4580-4580 | 例 HarleyDavidsonCorp and Corporation |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4505-4505 | 例 HoldenCorporation and Corporation |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 5158-5158 | 例 IconMotorcyleEquipmentCorporation and Corporation |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2942-2942 | 例 JohnsonAndJohnson and Corporation |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2957-2957 | 例 Merck and 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 | CognitiveAgent 持有 account 金融賬戶 例 CognitiveAgent and Corporation 例 金融賬戶 and 企業帳戶 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19725-19729 | |
| 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 15015-15023 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29918-29924 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8543-8556 |
|
|
|
