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 16162-16165
(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 16158-16158 法人财团Businesssubclass
(subclass Corporation LegalAgent) Merge.kif 16160-16160 法人财团LegalAgentsubclass

appearance as argument number 2

(instance ATandTCorp Corporation) ComputingBrands.kif 2122-2122 ATandTCorp法人财团instance
(instance AbbVie Corporation) Medicine.kif 2964-2964 AbbVie法人财团instance
(instance AbbottLaboratories Corporation) Medicine.kif 3849-3849 AbbottLaboratories法人财团instance
(instance AdobeComputerCorp Corporation) ComputingBrands.kif 2938-2938 Adobe法人财团instance
(instance AlphabetCorporation Corporation) ComputingBrands.kif 15-15 Alphabet公司法人财团instance
(instance AppleComputerCorporation Corporation) ComputingBrands.kif 14-14 苹果法人财团instance
(instance AstraZeneca Corporation) Medicine.kif 4793-4793 AstraZeneca法人财团instance
(instance BioNTech Corporation) Medicine.kif 2943-2943 BioNTech法人财团instance
(instance BritishMotorCorp Corporation) Cars.kif 4846-4846 BritishMotorCorp法人财团instance
(instance BritishSeagullCorp Corporation) Cars.kif 4726-4726 BritishSeagullCorp法人财团instance
(instance ByteDance Corporation) ComputingBrands.kif 4594-4594 ByteDance法人财团instance
(instance CosworthCorp Corporation) Cars.kif 5158-5158 CosworthCorp法人财团instance
(instance EBay Corporation) ComputingBrands.kif 4658-4658 EBay法人财团instance
(instance FacebookCorporation Corporation) ComputingBrands.kif 68-68 脸书法人财团instance
(instance FitbitCompany Corporation) Medicine.kif 4463-4463 FitbitCompany法人财团instance
(instance FordCorporation Corporation) Cars.kif 4916-4916 FordCorporation法人财团instance
(instance GeneralMotorsCorp Corporation) Cars.kif 4493-4493 GeneralMotorsCorp法人财团instance
(instance GlaxoSmithKline Corporation) Medicine.kif 2958-2958 GlaxoSmithKline法人财团instance
(instance GoogleCorporation Corporation) ComputingBrands.kif 16-16 GoogleCorporation法人财团instance
(instance HarleyDavidson Corporation) Cars.kif 4468-4468 HarleyDavidson法人财团instance
(instance HarleyDavidsonCorp Corporation) Cars.kif 4572-4572 HarleyDavidsonCorp法人财团instance
(instance HoldenCorporation Corporation) Cars.kif 4497-4497 HoldenCorporation法人财团instance
(instance IconMotorcyleEquipmentCorporation Corporation) Cars.kif 5150-5150 IconMotorcyleEquipmentCorporation法人财团instance
(instance JohnsonAndJohnson Corporation) Medicine.kif 2940-2940 JohnsonAndJohnson法人财团instance
(instance Merck Corporation) Medicine.kif 2955-2955 Merck法人财团instance

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 有认知的主事 持有 account 金融账户那个 有认知的主事法人财团instance 若且唯若 那个 金融账户企业帐户instance


        (instance ?CONTEST BusinessCompetition)
        (contestParticipant ?CONTEST ?AGENT))
    (instance ?AGENT Corporation))
Mid-level-ontology.kif 19672-19676
    (instance ?Bond CorporateBond)
    (exists (?Agent)
            (instance ?Agent Corporation)
            (issuedBy ?Bond ?Agent))))
FinancialOntology.kif 2394-2399
    (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 14987-14995
    (instance ?NUMBER AccountNumber)
            (instance ?CORPORATION Corporation)
            (instance ?AGENT AutonomousAgent)
            (uniqueIdWithRespectTo ?CORPORATION ?HUMAN ?NUMBER))))
Mid-level-ontology.kif 29831-29837
    (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 8516-8529

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 3.0 is open source software produced by Articulate Software and its partners