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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Corporation
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 16192-16195
(externalImage Corporation "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4b/ Stora_Kopparberg_1288.jpg") pictureList.kif 5935-5935
(externalImage Corporation "http://upload.wikimedia.org/wikipedia/commons/ 5/ 5c/ Vereinigte_Ostindische_Compagnie_bond.jpg") pictureList.kif 6311-6311
(subclass Corporation Business) Merge.kif 16188-16188 法人Businesssubclass では %n
(subclass Corporation LegalAgent) Merge.kif 16190-16190 法人LegalAgentsubclass では %n

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


(instance ATandTCorp Corporation) ComputingBrands.kif 2122-2122 ATandTCorp法人instance では %n
(instance AbbVie Corporation) Medicine.kif 2966-2966 AbbVie法人instance では %n
(instance AbbottLaboratories Corporation) Medicine.kif 3851-3851 AbbottLaboratories法人instance では %n
(instance AdobeComputerCorp Corporation) ComputingBrands.kif 2938-2938 Adobe法人instance では %n
(instance AlphabetCorporation Corporation) ComputingBrands.kif 15-15 Alphabet法人instance では %n
(instance AppleComputerCorporation Corporation) ComputingBrands.kif 14-14 Apple法人instance では %n
(instance AstraZeneca Corporation) Medicine.kif 4795-4795 AstraZeneca法人instance では %n
(instance BioNTech Corporation) Medicine.kif 2945-2945 BioNTech法人instance では %n
(instance BritishMotorCorp Corporation) Cars.kif 4846-4846 BritishMotorCorp法人instance では %n
(instance BritishSeagullCorp Corporation) Cars.kif 4726-4726 BritishSeagullCorp法人instance では %n
(instance ByteDance Corporation) ComputingBrands.kif 4596-4596 ByteDance法人instance では %n
(instance CosworthCorp Corporation) Cars.kif 5158-5158 CosworthCorp法人instance では %n
(instance EBay Corporation) ComputingBrands.kif 4660-4660 EBay法人instance では %n
(instance FacebookCorporation Corporation) ComputingBrands.kif 68-68 Facebook法人instance では %n
(instance FitbitCompany Corporation) Medicine.kif 4465-4465 FitbitCompany法人instance では %n
(instance FordCorporation Corporation) Cars.kif 4916-4916 FordCorporation法人instance では %n
(instance GeneralMotorsCorp Corporation) Cars.kif 4493-4493 GeneralMotorsCorp法人instance では %n
(instance GlaxoSmithKline Corporation) Medicine.kif 2960-2960 GlaxoSmithKline法人instance では %n
(instance GoogleCorporation Corporation) ComputingBrands.kif 16-16 GoogleCorporation法人instance では %n
(instance HarleyDavidson Corporation) Cars.kif 4468-4468 HarleyDavidson法人instance では %n
(instance HarleyDavidsonCorp Corporation) Cars.kif 4572-4572 HarleyDavidsonCorp法人instance では %n
(instance HoldenCorporation Corporation) Cars.kif 4497-4497 HoldenCorporation法人instance では %n
(instance IconMotorcyleEquipmentCorporation Corporation) Cars.kif 5150-5150 IconMotorcyleEquipmentCorporation法人instance では %n
(instance JohnsonAndJohnson Corporation) Medicine.kif 2942-2942 JohnsonAndJohnson法人instance では %n
(instance Merck Corporation) Medicine.kif 2957-2957 Merck法人instance では %n

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 accountHolder FinancialAccount and 認識エージェント 認識エージェント法人instance では %n FinancialAccountCorporateAccountinstance では %n

consequent
-------------------------


(=>
    (and
        (instance ?CONTEST BusinessCompetition)
        (contestParticipant ?CONTEST ?AGENT))
    (instance ?AGENT Corporation))
Mid-level-ontology.kif 19726-19730
(=>
    (instance ?Bond CorporateBond)
    (exists (?Agent)
        (and
            (instance ?Agent Corporation)
            (issuedBy ?Bond ?Agent))))
FinancialOntology.kif 2380-2385
(=>
    (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 15016-15024
(=>
    (instance ?NUMBER AccountNumber)
    (exists (?CORPORATION ?AGENT ?HUMAN)
        (and
            (instance ?CORPORATION Corporation)
            (instance ?AGENT AutonomousAgent)
            (uniqueIdWithRespectTo ?CORPORATION ?HUMAN ?NUMBER))))
Mid-level-ontology.kif 29930-29936
(=>
    (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 8544-8557


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