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 15022-15025
(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 15018-15018
(subclass Corporation LegalAgent) Merge.kif 15020-15020

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


(instance ATandTCorp Corporation) ComputingBrands.kif 2100-2100
(instance AdobeComputerCorp Corporation) ComputingBrands.kif 2909-2909
(instance AlphabetCorporation Corporation) ComputingBrands.kif 16-16
(instance AppleComputerCorporation Corporation) ComputingBrands.kif 15-15
(instance BritishMotorCorp Corporation) Cars.kif 4827-4827
(instance BritishSeagullCorp Corporation) Cars.kif 4707-4707
(instance CosworthCorp Corporation) Cars.kif 5139-5139
(instance FacebookCorporation Corporation) ComputingBrands.kif 66-66
(instance FordCorporation Corporation) Cars.kif 4897-4897
(instance GeneralMotorsCorp Corporation) Cars.kif 4467-4467
(instance GoogleCorporation Corporation) ComputingBrands.kif 17-17
(instance HarleyDavidson Corporation) Cars.kif 4442-4442
(instance HarleyDavidsonCorp Corporation) Cars.kif 4553-4553
(instance HoldenCorporation Corporation) Cars.kif 4471-4471
(instance IconMotorcyleEquipmentCorporation Corporation) Cars.kif 5131-5131
(instance MicrosoftCorporation Corporation) ComputingBrands.kif 49-49
(instance RoverGroup Corporation) Cars.kif 4688-4688
(instance SimmonsCorp Corporation) Cars.kif 4815-4815
(instance SnapOnTools Corporation) Cars.kif 4439-4439
(instance SortimoCorp Corporation) Cars.kif 5086-5086
(subclass Manufacturer Corporation) Merge.kif 15027-15027
(subclass MercantileOrganization Corporation) Merge.kif 15040-15040
(subclass PeterbiltCorp Corporation) Cars.kif 4987-4987
(termFormat ChineseLanguage Corporation "法人财团") chinese_format.kif 1068-1068
(termFormat EnglishLanguage Corporation "corporation") english_format.kif 1352-1352

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 962-966

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


(=>
    (and
        (instance ?CONTEST BusinessCompetition)
        (contestParticipant ?CONTEST ?AGENT))
    (instance ?AGENT Corporation))
Mid-level-ontology.kif 17530-17534
(=>
    (instance ?Bond CorporateBond)
    (exists (?Agent)
        (and
            (instance ?Agent Corporation)
            (issuedBy ?Bond ?Agent))))
FinancialOntology.kif 2302-2307
(=>
    (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 12740-12750
(=>
    (instance ?NUMBER AccountNumber)
    (exists (?CORPORATION ?AGENT)
        (and
            (instance ?CORPORATION Corporation)
            (instance ?AGENT Agent)
            (uniqueIdWithRespectTo ?CORPORATION ?HUMAN ?NUMBER))))
Mid-level-ontology.kif 28129-28135
(=>
    (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 8249-8262


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