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 15923-15926
(externalImage Corporation "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4b/ Stora_Kopparberg_1288.jpg") pictureList.kif 5936-5936
(externalImage Corporation "http://upload.wikimedia.org/wikipedia/commons/ 5/ 5c/ Vereinigte_Ostindische_Compagnie_bond.jpg") pictureList.kif 6312-6312
(subclass Corporation Business) Merge.kif 15919-15919
(subclass Corporation LegalAgent) Merge.kif 15921-15921

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


(instance ATandTCorp Corporation) ComputingBrands.kif 2090-2090
(instance AdobeComputerCorp Corporation) ComputingBrands.kif 2906-2906
(instance AlphabetCorporation Corporation) ComputingBrands.kif 15-15
(instance AppleComputerCorporation Corporation) ComputingBrands.kif 14-14
(instance BritishMotorCorp Corporation) Cars.kif 4849-4849
(instance BritishSeagullCorp Corporation) Cars.kif 4729-4729
(instance ByteDance Corporation) ComputingBrands.kif 4559-4559
(instance CosworthCorp Corporation) Cars.kif 5161-5161
(instance EBay Corporation) ComputingBrands.kif 4623-4623
(instance FacebookCorporation Corporation) ComputingBrands.kif 63-63
(instance FordCorporation Corporation) Cars.kif 4919-4919
(instance GeneralMotorsCorp Corporation) Cars.kif 4496-4496
(instance GoogleCorporation Corporation) ComputingBrands.kif 16-16
(instance HarleyDavidson Corporation) Cars.kif 4471-4471
(instance HarleyDavidsonCorp Corporation) Cars.kif 4575-4575
(instance HoldenCorporation Corporation) Cars.kif 4500-4500
(instance IconMotorcyleEquipmentCorporation Corporation) Cars.kif 5153-5153
(instance MicrosoftCorporation Corporation) ComputingBrands.kif 46-46
(instance PeterbiltCorp Corporation) Cars.kif 5009-5009
(instance RoverGroup Corporation) Cars.kif 4710-4710
(instance SimmonsCorp Corporation) Cars.kif 4837-4837
(instance SnapOnTools Corporation) Cars.kif 4468-4468
(instance SortimoCorp Corporation) Cars.kif 5108-5108
(subclass Manufacturer Corporation) Merge.kif 15928-15928
(subclass MercantileOrganization Corporation) Merge.kif 15941-15941

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 1017-1021

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


(=>
    (and
        (instance ?CONTEST BusinessCompetition)
        (contestParticipant ?CONTEST ?AGENT))
    (instance ?AGENT Corporation))
Mid-level-ontology.kif 19100-19104
(=>
    (instance ?Bond CorporateBond)
    (exists (?Agent)
        (and
            (instance ?Agent Corporation)
            (issuedBy ?Bond ?Agent))))
FinancialOntology.kif 2388-2393
(=>
    (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 14482-14492
(=>
    (instance ?NUMBER AccountNumber)
    (exists (?CORPORATION ?AGENT)
        (and
            (instance ?CORPORATION Corporation)
            (instance ?AGENT Agent)
            (uniqueIdWithRespectTo ?CORPORATION ?HUMAN ?NUMBER))))
Mid-level-ontology.kif 29342-29348
(=>
    (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 8151-8164


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