Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Corporation
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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners