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 的身份行事,这个安排让东主 (股东)避免负可能由这个机构运作所引起的很多 责任。") 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 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners