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 is a subclass of business |
(subclass Corporation LegalAgent) | Merge.kif 16190-16190 | 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 4846-4846 | British Motors is an instance of corporation |
(instance BritishSeagullCorp Corporation) | Cars.kif 4726-4726 | 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 5158-5158 | 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 4916-4916 | Ford is an instance of corporation |
(instance GeneralMotorsCorp Corporation) | Cars.kif 4493-4493 | 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 4468-4468 | Harley Davidson is an instance of corporation |
(instance HarleyDavidsonCorp Corporation) | Cars.kif 4572-4572 | Harley Davidson is an instance of corporation |
(instance HoldenCorporation Corporation) | Cars.kif 4497-4497 | Holden Corporation is an instance of corporation |
(instance IconMotorcyleEquipmentCorporation Corporation) | Cars.kif 5150-5150 | 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 19726-19730 |
|
(=> (instance ?Bond CorporateBond) (exists (?Agent) (and (instance ?Agent Corporation) (issuedBy ?Bond ?Agent)))) |
FinancialOntology.kif 2380-2385 |
|
(=> (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 |
|
(=> (instance ?NUMBER AccountNumber) (exists (?CORPORATION ?AGENT ?HUMAN) (and (instance ?CORPORATION Corporation) (instance ?AGENT AutonomousAgent) (uniqueIdWithRespectTo ?CORPORATION ?HUMAN ?NUMBER)))) |
Mid-level-ontology.kif 29930-29936 |
|
(=> (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 |
|