Corporation - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Corporation ChineseLanguage "这是一个有特别法律地位的 Organization，这个地位容许一群人以 CommercialAgent 的身份行事，这个安排让东主 (股东)避免负可能由这个机构运作所引起的很多责任。")	chinese_format.kif 3662-3664
(documentation Corporation EnglishLanguage "An Organization that has a special legal status that allows a group of persons to act as a CommercialAgent and that insulates the owners (shareholders) from many liabilities that might result from the corporation's operation.")	Merge.kif 16192-16195
(externalImage Corporation "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4b/ Stora_Kopparberg_1288.jpg")	pictureList.kif 5935-5935
(externalImage Corporation "http://upload.wikimedia.org/wikipedia/commons/ 5/ 5c/ Vereinigte_Ostindische_Compagnie_bond.jpg")	pictureList.kif 6311-6311
(subclass Corporation Business)	Merge.kif 16188-16188	Corporation ist eine teilkategorie von Business
(subclass Corporation LegalAgent)	Merge.kif 16190-16190	Corporation ist eine teilkategorie von LegalAgent

appearance as argument number 2

(instance ATandTCorp Corporation)	ComputingBrands.kif 2122-2122	ATandTCorp ist ein fall von Corporation %n{nicht}
(instance AbbVie Corporation)	Medicine.kif 2966-2966	AbbVie ist ein fall von Corporation %n{nicht}
(instance AbbottLaboratories Corporation)	Medicine.kif 3851-3851	AbbottLaboratories ist ein fall von Corporation %n{nicht}
(instance AdobeComputerCorp Corporation)	ComputingBrands.kif 2938-2938	AdobeComputerCorp ist ein fall von Corporation %n{nicht}
(instance AlphabetCorporation Corporation)	ComputingBrands.kif 15-15	AlphabetCorporation ist ein fall von Corporation %n{nicht}
(instance AppleComputerCorporation Corporation)	ComputingBrands.kif 14-14	AppleComputerCorporation ist ein fall von Corporation %n{nicht}
(instance AstraZeneca Corporation)	Medicine.kif 4795-4795	AstraZeneca ist ein fall von Corporation %n{nicht}
(instance BioNTech Corporation)	Medicine.kif 2945-2945	BioNTech ist ein fall von Corporation %n{nicht}
(instance BritishMotorCorp Corporation)	Cars.kif 4846-4846	BritishMotorCorp ist ein fall von Corporation %n{nicht}
(instance BritishSeagullCorp Corporation)	Cars.kif 4726-4726	BritishSeagullCorp ist ein fall von Corporation %n{nicht}
(instance ByteDance Corporation)	ComputingBrands.kif 4596-4596	ByteDance ist ein fall von Corporation %n{nicht}
(instance CosworthCorp Corporation)	Cars.kif 5158-5158	CosworthCorp ist ein fall von Corporation %n{nicht}
(instance EBay Corporation)	ComputingBrands.kif 4660-4660	EBay ist ein fall von Corporation %n{nicht}
(instance FacebookCorporation Corporation)	ComputingBrands.kif 68-68	FacebookCorporation ist ein fall von Corporation %n{nicht}
(instance FitbitCompany Corporation)	Medicine.kif 4465-4465	FitbitCompany ist ein fall von Corporation %n{nicht}
(instance FordCorporation Corporation)	Cars.kif 4916-4916	FordCorporation ist ein fall von Corporation %n{nicht}
(instance GeneralMotorsCorp Corporation)	Cars.kif 4493-4493	GeneralMotorsCorp ist ein fall von Corporation %n{nicht}
(instance GlaxoSmithKline Corporation)	Medicine.kif 2960-2960	GlaxoSmithKline ist ein fall von Corporation %n{nicht}
(instance GoogleCorporation Corporation)	ComputingBrands.kif 16-16	GoogleCorporation ist ein fall von Corporation %n{nicht}
(instance HarleyDavidson Corporation)	Cars.kif 4468-4468	HarleyDavidson ist ein fall von Corporation %n{nicht}
(instance HarleyDavidsonCorp Corporation)	Cars.kif 4572-4572	HarleyDavidsonCorp ist ein fall von Corporation %n{nicht}
(instance HoldenCorporation Corporation)	Cars.kif 4497-4497	HoldenCorporation ist ein fall von Corporation %n{nicht}
(instance IconMotorcyleEquipmentCorporation Corporation)	Cars.kif 5150-5150	IconMotorcyleEquipmentCorporation ist ein fall von Corporation %n{nicht}
(instance JohnsonAndJohnson Corporation)	Medicine.kif 2942-2942	JohnsonAndJohnson ist ein fall von Corporation %n{nicht}
(instance Merck Corporation)	Medicine.kif 2957-2957	Merck ist ein fall von Corporation %n{nicht}

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

(<=>
    (and
        (accountHolder ?Account ?Agent)
        (instance ?Agent Corporation))
    (instance ?Account CorporateAccount))

FinancialOntology.kif 1018-1022

accountHolder FinancialAccount and CognitiveAgent und ** CognitiveAgent ist ein fall von Corporation %n{nicht} genau dann wenn ** FinancialAccount ist ein fall von CorporateAccount %n{nicht}

consequent

(=> (and (instance ?CONTEST BusinessCompetition) (contestParticipant ?CONTEST ?AGENT)) (instance ?AGENT Corporation))	Mid-level-ontology.kif 19726-19730	Wenn Contest ist ein fall von BusinessCompetition %n{nicht} und contestParticipant Contest and AutonomousAgent, dann AutonomousAgent ist ein fall von Corporation %n{nicht}
(=> (instance ?Bond CorporateBond) (exists (?Agent) (and (instance ?Agent Corporation) (issuedBy ?Bond ?Agent))))	FinancialOntology.kif 2380-2385	Wenn Certificate ist ein fall von CorporateBond %n{nicht}, dann es gibt CognitiveAgent um CognitiveAgent ist ein fall von Corporation %n{nicht} und issuedBy Certificate and ** CognitiveAgent
(=> (instance ?INDUSTRY Industry) (exists (?MEMB1 ?MEMB2 ?CLASS) (and (member ?MEMB1 ?INDUSTRY) (member ?MEMB2 ?INDUSTRY) (subclass ?CLASS Corporation) (immediateInstance ?MEMB1 ?CLASS) (immediateInstance ?MEMB2 ?CLASS))))	Mid-level-ontology.kif 15016-15024	Wenn Collection ist ein fall von Industry %n{nicht}, dann es gibt Physical, Physical, and und Class um Physical ist ein Mitglied von Collection %n{nicht} und Physical ist ein Mitglied von Collection %n{nicht} und Class ist eine teilkategorie von Corporation und Physical ist ein direkter fall von Class und Physical ist ein direkter fall von Class
(=> (instance ?NUMBER AccountNumber) (exists (?CORPORATION ?AGENT ?HUMAN) (and (instance ?CORPORATION Corporation) (instance ?AGENT AutonomousAgent) (uniqueIdWithRespectTo ?CORPORATION ?HUMAN ?NUMBER))))	Mid-level-ontology.kif 29930-29936	Wenn SymbolicString ist ein fall von AccountNumber %n{nicht}, dann es gibt Physical, Entity, and und Physical um Physical ist ein fall von Corporation %n{nicht} und Entity ist ein fall von AutonomousAgent %n{nicht} und uniqueIdWithRespectTo Physical, Physical and ** SymbolicString
(=> (instance ?ORG UnionOrganization) (exists (?COLL ?MEMBER) (=> (member ?MEMBER ?ORG) (or (and (instance ?COLL Corporation) (employs ?COLL ?MEMBER)) (exists (?CORP) (and (instance ?COLL Industry) (member ?CORP ?COLL) (employs ?CORP ?MEMBER)))))))	Mid-level-ontology.kif 8544-8557	Wenn Collection ist ein fall von UnionOrganization %n{nicht}, dann es gibt AutonomousAgent und CognitiveAgent um wenn CognitiveAgent ist ein Mitglied von Collection %n{nicht}, dann AutonomousAgent ist ein fall von Corporation %n{nicht} und AutonomousAgent beschaeftigt CognitiveAgent %n{nicht} oder es gibt AutonomousAgent um AutonomousAgent ist ein fall von Industry %n{nicht} und AutonomousAgent ist ein Mitglied von AutonomousAgent %n{nicht} und AutonomousAgent beschaeftigt ** CognitiveAgent %n{nicht}

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

KB Term:			Term intersection

English Word: