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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Corporation

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 16214-16217
(externalImage Corporation " 4/ 4b/ Stora_Kopparberg_1288.jpg") pictureList.kif 5935-5935
(externalImage Corporation " 5/ 5c/ Vereinigte_Ostindische_Compagnie_bond.jpg") pictureList.kif 6311-6311
(subclass Corporation Business) Merge.kif 16210-16210
(subclass Corporation LegalAgent) Merge.kif 16212-16212

appearance as argument number 2

(instance ATandTCorp Corporation) ComputingBrands.kif 2122-2122
(instance AbbVie Corporation) Medicine.kif 2966-2966
(instance AbbottLaboratories Corporation) Medicine.kif 3851-3851
(instance AdobeComputerCorp Corporation) ComputingBrands.kif 2938-2938
(instance AlphabetCorporation Corporation) ComputingBrands.kif 15-15
(instance AppleComputerCorporation Corporation) ComputingBrands.kif 14-14
(instance AstraZeneca Corporation) Medicine.kif 4795-4795
(instance BioNTech Corporation) Medicine.kif 2945-2945
(instance BritishMotorCorp Corporation) Cars.kif 4854-4854
(instance BritishSeagullCorp Corporation) Cars.kif 4734-4734
(instance ByteDance Corporation) ComputingBrands.kif 4596-4596
(instance CosworthCorp Corporation) Cars.kif 5166-5166
(instance EBay Corporation) ComputingBrands.kif 4660-4660
(instance FacebookCorporation Corporation) ComputingBrands.kif 68-68
(instance FitbitCompany Corporation) Medicine.kif 4465-4465
(instance FordCorporation Corporation) Cars.kif 4924-4924
(instance GeneralMotorsCorp Corporation) Cars.kif 4501-4501
(instance GlaxoSmithKline Corporation) Medicine.kif 2960-2960
(instance GoogleCorporation Corporation) ComputingBrands.kif 16-16
(instance HarleyDavidson Corporation) Cars.kif 4476-4476
(instance HarleyDavidsonCorp Corporation) Cars.kif 4580-4580
(instance HoldenCorporation Corporation) Cars.kif 4505-4505
(instance IconMotorcyleEquipmentCorporation Corporation) Cars.kif 5158-5158
(instance JohnsonAndJohnson Corporation) Medicine.kif 2942-2942
(instance Merck Corporation) Medicine.kif 2957-2957

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


        (accountHolder ?Account ?Agent)
        (instance ?Agent Corporation))
    (instance ?Account CorporateAccount))
FinancialOntology.kif 1018-1022


        (instance ?CONTEST BusinessCompetition)
        (contestParticipant ?CONTEST ?AGENT))
    (instance ?AGENT Corporation))
Mid-level-ontology.kif 19725-19729
    (instance ?Bond CorporateBond)
    (exists (?Agent)
            (instance ?Agent Corporation)
            (issuedBy ?Bond ?Agent))))
FinancialOntology.kif 2380-2385
    (instance ?INDUSTRY Industry)
    (exists (?MEMB1 ?MEMB2 ?CLASS)
            (member ?MEMB1 ?INDUSTRY)
            (member ?MEMB2 ?INDUSTRY)
            (subclass ?CLASS Corporation)
            (immediateInstance ?MEMB1 ?CLASS)
            (immediateInstance ?MEMB2 ?CLASS))))
Mid-level-ontology.kif 15015-15023
    (instance ?NUMBER AccountNumber)
            (instance ?CORPORATION Corporation)
            (instance ?AGENT AutonomousAgent)
            (uniqueIdWithRespectTo ?CORPORATION ?HUMAN ?NUMBER))))
Mid-level-ontology.kif 29918-29924
    (instance ?ORG UnionOrganization)
    (exists (?COLL ?MEMBER)
            (member ?MEMBER ?ORG)
                    (instance ?COLL Corporation)
                    (employs ?COLL ?MEMBER))
                (exists (?CORP)
                        (instance ?COLL Industry)
                        (member ?CORP ?COLL)
                        (employs ?CORP ?MEMBER)))))))
Mid-level-ontology.kif 8543-8556

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