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 16263-16266
(externalImage Corporation "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4b/ Stora_Kopparberg_1288.jpg")	pictureList.kif 5934-5934
(externalImage Corporation "http://upload.wikimedia.org/wikipedia/commons/ 5/ 5c/ Vereinigte_Ostindische_Compagnie_bond.jpg")	pictureList.kif 6310-6310
(subclass Corporation Business)	Merge.kif 16259-16259	Corporation is a subclass of business
(subclass Corporation LegalAgent)	Merge.kif 16261-16261	Corporation is a subclass of legal agent

appearance as argument number 2

(instance ATandTCorp Corporation)	ComputingBrands.kif 2122-2122	AT&T corp is an instance of corporation
(instance AbbVie Corporation)	Medicine.kif 2966-2966	AbbVie is an instance of corporation
(instance AbbottLaboratories Corporation)	Medicine.kif 3851-3851	Abbott is an instance of corporation
(instance AdobeComputerCorp Corporation)	ComputingBrands.kif 2938-2938	Adobe is an instance of corporation
(instance AlphabetCorporation Corporation)	ComputingBrands.kif 15-15	Alphabet is an instance of corporation
(instance AppleComputerCorporation Corporation)	ComputingBrands.kif 14-14	Apple is an instance of corporation
(instance AstraZeneca Corporation)	Medicine.kif 4795-4795	AstraZeneca is an instance of corporation
(instance BioNTech Corporation)	Medicine.kif 2945-2945	BioNTech is an instance of corporation
(instance BritishMotorCorp Corporation)	Cars.kif 4906-4906	British Motors is an instance of corporation
(instance BritishSeagullCorp Corporation)	Cars.kif 4786-4786	British Seagull corp is an instance of corporation
(instance ByteDance Corporation)	ComputingBrands.kif 4596-4596	ByteDance is an instance of corporation
(instance CosworthCorp Corporation)	Cars.kif 5218-5218	Cosworth Corporation is an instance of corporation
(instance EBay Corporation)	ComputingBrands.kif 4660-4660	EBay is an instance of corporation
(instance FacebookCorporation Corporation)	ComputingBrands.kif 68-68	Facebook is an instance of corporation
(instance FitbitCompany Corporation)	Medicine.kif 4465-4465	Fitbit is an instance of corporation
(instance FordCorporation Corporation)	Cars.kif 4976-4976	Ford is an instance of corporation
(instance GeneralMotorsCorp Corporation)	Cars.kif 4553-4553	General Motors is an instance of corporation
(instance GlaxoSmithKline Corporation)	Medicine.kif 2960-2960	GlaxoSmithKline is an instance of corporation
(instance GoogleCorporation Corporation)	ComputingBrands.kif 16-16	Google corporation is an instance of corporation
(instance HarleyDavidson Corporation)	Cars.kif 4528-4528	Harley Davidson is an instance of corporation
(instance HarleyDavidsonCorp Corporation)	Cars.kif 4632-4632	Harley Davidson is an instance of corporation
(instance HoldenCorporation Corporation)	Cars.kif 4557-4557	Holden Corporation is an instance of corporation
(instance IconMotorcyleEquipmentCorporation Corporation)	Cars.kif 5210-5210	Icon Corporation is an instance of corporation
(instance JohnsonAndJohnson Corporation)	Medicine.kif 2942-2942	JohnsonAndJohnson is an instance of corporation
(instance Merck Corporation)	Medicine.kif 2957-2957	Merck is an instance of corporation

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

A cognitive agent holds account a financial account and the cognitive agent is an instance of corporation if and only if the financial account is an instance of corporate account

consequent

(=> (and (instance ?CONTEST BusinessCompetition) (contestParticipant ?CONTEST ?AGENT)) (instance ?AGENT Corporation))	Mid-level-ontology.kif 19984-19988	If a contest is an instance of business competition and an agent participates in the contest, then the agent is an instance of corporation
(=> (instance ?Bond CorporateBond) (exists (?Agent) (and (instance ?Agent Corporation) (issuedBy ?Bond ?Agent))))	FinancialOntology.kif 2380-2385	If a certificate is an instance of corporate bond, then there exists a cognitive agent such that the cognitive agent is an instance of corporation and the cognitive agent is an issued by of the certificate
(=> (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 15234-15242	If a collection is an instance of industry, then there exist a physical, another physical and a class such that the physical is a member of the collection and the other physical is a member of the collection and the class is a subclass of corporation and the physical is an immediate instance of the class and the other physical is an immediate instance of the class
(=> (instance ?NUMBER AccountNumber) (exists (?CORPORATION ?AGENT ?HUMAN) (and (instance ?CORPORATION Corporation) (instance ?AGENT AutonomousAgent) (uniqueIdWithRespectTo ?CORPORATION ?HUMAN ?NUMBER))))	Mid-level-ontology.kif 30187-30193	If a symbolic string is an instance of account number, then there exist a physical, an entity and another physical such that the physical is an instance of corporation and the entity is an instance of agent and the symbolic string is a unique ID for the other physical with respect to the physical
(=> (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 8762-8775	If a collection is an instance of union organization, then there exist an agent and a cognitive agent such that if the cognitive agent is a member of the collection, then the agent is an instance of corporation and the agent employs the cognitive agent or there exists another agent such that the agent is an instance of industry and the other agent is a member of the agent and the other agent employs the cognitive agent

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: