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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Corporation

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 的身份行事,这个安排让东主 (股东)避免负可能由这个机构运作所引起的很多 责任。") Merge.kif 16394-16396
(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 16390-16393
(externalImage Corporation "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4b/ Stora_Kopparberg_1288.jpg") pictureList.kif 5936-5936 "http://upload.wikimedia.org/wikipedia/commons/4/4b/ Stora_Kopparberg_1288.jpg" is a URL depicting corporation
(externalImage Corporation "http://upload.wikimedia.org/wikipedia/commons/ 5/ 5c/ Vereinigte_Ostindische_Compagnie_bond.jpg") pictureList.kif 6312-6312 "http://upload.wikimedia.org/wikipedia/commons/5/5c/ Vereinigte_Ostindische_Compagnie_bond.jpg" is a URL depicting corporation
(subclass Corporation Business) Merge.kif 16386-16386 Corporation is a subclass of Business
(subclass Corporation LegalAgent) Merge.kif 16388-16388 Corporation is a subclass of LegalAgent

appearance as argument number 2
-------------------------


(instance ATandTCorp Corporation) ComputingBrands.kif 870-870 ATandTCorp is an instance of corporation
(instance AdobeComputerCorp Corporation) ComputingBrands.kif 1238-1238 Adobe is an instance of corporation
(instance AlphabetCorporation Corporation) ComputingBrands.kif 16-16 Alphabet is an instance of corporation
(instance AppleComputerCorporation Corporation) ComputingBrands.kif 15-15 Apple is an instance of corporation
(instance BritishMotorCorp Corporation) Cars.kif 4817-4817 British Motors is an instance of corporation
(instance BritishSeagullCorp Corporation) Cars.kif 4697-4697 British Seagull corp is an instance of corporation
(instance CosworthCorp Corporation) Cars.kif 5129-5129 Cosworth Corporation is an instance of corporation
(instance FacebookCorporation Corporation) ComputingBrands.kif 48-48 Facebook is an instance of corporation
(instance FordCorporation Corporation) Cars.kif 4887-4887 Ford is an instance of corporation
(instance GeneralMotorsCorp Corporation) Cars.kif 4457-4457 General Motors is an instance of corporation
(instance GoogleCorporation Corporation) ComputingBrands.kif 17-17 GoogleCorporation is an instance of corporation
(instance HarleyDavidson Corporation) Cars.kif 4432-4432 Harley Davidson is an instance of corporation
(instance HarleyDavidsonCorp Corporation) Cars.kif 4543-4543 Harley Davidson is an instance of corporation
(instance HoldenCorporation Corporation) Cars.kif 4461-4461 Holden Corporation is an instance of corporation
(instance IconMotorcyleEquipmentCorporation Corporation) Cars.kif 5121-5121 Icon Corporation is an instance of corporation
(instance MicrosoftCorporation Corporation) ComputingBrands.kif 38-38 Microsoft is an instance of corporation
(instance RoverGroup Corporation) Cars.kif 4678-4678 RoverGroup is an instance of corporation
(instance SimmonsCorp Corporation) Cars.kif 4805-4805 SimmonsCorp is an instance of corporation
(instance SnapOnTools Corporation) Cars.kif 4429-4429 Snap-on Tools is an instance of corporation
(instance SortimoCorp Corporation) Cars.kif 5076-5076 Sortimo Corporation is an instance of corporation
(subclass Manufacturer Corporation) Merge.kif 16398-16398 Manufacturer is a subclass of corporation
(subclass MercantileOrganization Corporation) Merge.kif 16412-16412 Mercantile organization is a subclass of corporation
(subclass PeterbiltCorp Corporation) Cars.kif 4977-4977 Peterbilt is a subclass of corporation
(termFormat ChineseLanguage Corporation "法人财团") chinese_format.kif 1068-1068 "法人财团" is the printable form of corporation in ChineseLanguage
(termFormat EnglishLanguage Corporation "corporation") english_format.kif 755-755 "corporation" is the printable form of corporation in english language

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 963-967 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 17503-17507
(=>
    (instance ?AN AccountNumber)
    (exists (?CORPORATION ?AGENT ?NUMBER)
        (and
            (instance ?CORPORATION Corporation)
            (instance ?AGENT Agent)
            (instance ?NUMBER SymbolicString)
            (uniqueIdWithRespectTo ?CORPORATION ?HUMAN ?NUMBER))))
Mid-level-ontology.kif 28098-28105
(=>
    (instance ?Bond CorporateBond)
    (exists (?Agent)
        (and
            (instance ?Agent Corporation)
            (issuedBy ?Bond ?Agent))))
FinancialOntology.kif 2303-2308
(=>
    (instance ?INDUSTRY Industry)
    (=>
        (and
            (member ?MEMB1 ?INDUSTRY)
            (member ?MEMB2 ?INDUSTRY))
        (exists (?CLASS)
            (and
                (subclass ?CLASS Corporation)
                (immediateInstance ?MEMB1 ?CLASS)
                (immediateInstance ?MEMB2 ?CLASS)))))
Mid-level-ontology.kif 12715-12725
(=>
    (instance ?ORG UnionOrganization)
    (exists (?COLL)
        (=>
            (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 8267-8280


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners