![]() |
![]() ![]() ![]()
|
![]() |
|
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 | 法人财团 是 Business 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16212-16212 | 法人财团 是 LegalAgent 的 subclass |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2122-2122 | ATandTCorp 是 法人财团 的 instance |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2966-2966 | AbbVie 是 法人财团 的 instance |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3851-3851 | AbbottLaboratories 是 法人财团 的 instance |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2938-2938 | Adobe 是 法人财团 的 instance |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 15-15 | Alphabet公司 是 法人财团 的 instance |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 14-14 | 苹果 是 法人财团 的 instance |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4795-4795 | AstraZeneca 是 法人财团 的 instance |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2945-2945 | BioNTech 是 法人财团 的 instance |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4854-4854 | BritishMotorCorp 是 法人财团 的 instance |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4734-4734 | BritishSeagullCorp 是 法人财团 的 instance |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4596-4596 | ByteDance 是 法人财团 的 instance |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 5166-5166 | CosworthCorp 是 法人财团 的 instance |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4660-4660 | EBay 是 法人财团 的 instance |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 68-68 | 脸书 是 法人财团 的 instance |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4465-4465 | FitbitCompany 是 法人财团 的 instance |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4924-4924 | FordCorporation 是 法人财团 的 instance |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4501-4501 | GeneralMotorsCorp 是 法人财团 的 instance |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2960-2960 | GlaxoSmithKline 是 法人财团 的 instance |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 16-16 | GoogleCorporation 是 法人财团 的 instance |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4476-4476 | HarleyDavidson 是 法人财团 的 instance |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4580-4580 | HarleyDavidsonCorp 是 法人财团 的 instance |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4505-4505 | HoldenCorporation 是 法人财团 的 instance |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 5158-5158 | IconMotorcyleEquipmentCorporation 是 法人财团 的 instance |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2942-2942 | JohnsonAndJohnson 是 法人财团 的 instance |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2957-2957 | Merck 是 法人财团 的 instance |
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 | 有认知的主事 持有 account 金融账户 和 那个 有认知的主事 是 法人财团 的 instance 若且唯若 那个 金融账户 是 企业帐户 的 instance |
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 |
![]() |
![]() |