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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Corporation
Corporation(corporation)
Bollywood, Boy_Scouts_of_America, Disneyland, East_India_Company, FCS, FDIC, FHLMC, FNMA, FSB, Fannie_Mae, Farm_Credit_System, Federal_Deposit_Insurance_Corporation, Federal_Home_Loan_Mortgage_Corporation, Federal_National_Mortgage_Association, Fleet_Street, Freddie_Mac, Hollywood, Ld., Levi's, Ltd., MSB, Marineland, PX, REIT, Real_Estate_Investment_Trust, Walt_Disney_World, accounting_firm, acquirer, affairs, agribusiness, agriculture, aluminum_business, aluminum_industry, amusement_park, apparel_industry, armorer, armourer, arms_industry, auction_house, auto_company, auto_maker, auto_manufacturer, automaker, automobile_industry, bank_holding_company, banking_industry, banking_system, barbershop, barrelhouse, bazaar...

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 16045-16048
(externalImage Corporation "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4b/ Stora_Kopparberg_1288.jpg") pictureList.kif 5936-5936
(externalImage Corporation "http://upload.wikimedia.org/wikipedia/commons/ 5/ 5c/ Vereinigte_Ostindische_Compagnie_bond.jpg") pictureList.kif 6312-6312
(subclass Corporation Business) Merge.kif 16041-16041 Corporation is a subclass of business
(subclass Corporation LegalAgent) Merge.kif 16043-16043 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 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 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 4594-4594 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 4658-4658 EBay is an instance of corporation
(instance FacebookCorporation Corporation) ComputingBrands.kif 68-68 Facebook 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 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 MicrosoftCorporation Corporation) ComputingBrands.kif 49-49 Microsoft is an instance of corporation
(instance PeterbiltCorp Corporation) Cars.kif 5006-5006 Peterbilt is an instance of corporation
(instance RoverGroup Corporation) Cars.kif 4707-4707 Rover group is an instance of corporation
(instance SimmonsCorp Corporation) Cars.kif 4834-4834 Simmons corp is an instance of corporation
(instance SnapOnTools Corporation) Cars.kif 4465-4465 Snap-on Tools is an instance of corporation
(instance SortimoCorp Corporation) Cars.kif 5105-5105 Sortimo Corporation is an instance of corporation
(subclass Manufacturer Corporation) Merge.kif 16050-16050 Manufacturer is a subclass of corporation
(subclass MercantileOrganization Corporation) Merge.kif 16063-16063 Mercantile organization is a subclass 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 19507-19511
(=>
    (instance ?Bond CorporateBond)
    (exists (?Agent)
        (and
            (instance ?Agent Corporation)
            (issuedBy ?Bond ?Agent))))
FinancialOntology.kif 2394-2399
(=>
    (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 14862-14870
(=>
    (instance ?NUMBER AccountNumber)
    (exists (?CORPORATION ?AGENT ?HUMAN)
        (and
            (instance ?CORPORATION Corporation)
            (instance ?AGENT AutonomousAgent)
            (uniqueIdWithRespectTo ?CORPORATION ?HUMAN ?NUMBER))))
Mid-level-ontology.kif 29845-29851
(=>
    (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 8503-8516


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