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 14904-14907
(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 14900-14900
(subclass Corporation LegalAgent) Merge.kif 14902-14902

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


(instance ATandTCorp Corporation) ComputingBrands.kif 2102-2102
(instance AdobeComputerCorp Corporation) ComputingBrands.kif 2911-2911
(instance AlphabetCorporation Corporation) ComputingBrands.kif 16-16
(instance AppleComputerCorporation Corporation) ComputingBrands.kif 15-15
(instance BritishMotorCorp Corporation) Cars.kif 4825-4825
(instance BritishSeagullCorp Corporation) Cars.kif 4705-4705
(instance CosworthCorp Corporation) Cars.kif 5137-5137
(instance FacebookCorporation Corporation) ComputingBrands.kif 66-66
(instance FordCorporation Corporation) Cars.kif 4895-4895
(instance GeneralMotorsCorp Corporation) Cars.kif 4465-4465
(instance GoogleCorporation Corporation) ComputingBrands.kif 17-17
(instance HarleyDavidson Corporation) Cars.kif 4440-4440
(instance HarleyDavidsonCorp Corporation) Cars.kif 4551-4551
(instance HoldenCorporation Corporation) Cars.kif 4469-4469
(instance IconMotorcyleEquipmentCorporation Corporation) Cars.kif 5129-5129
(instance MicrosoftCorporation Corporation) ComputingBrands.kif 49-49
(instance RoverGroup Corporation) Cars.kif 4686-4686
(instance SimmonsCorp Corporation) Cars.kif 4813-4813
(instance SnapOnTools Corporation) Cars.kif 4437-4437
(instance SortimoCorp Corporation) Cars.kif 5084-5084
(subclass Manufacturer Corporation) Merge.kif 14909-14909
(subclass MercantileOrganization Corporation) Merge.kif 14922-14922
(subclass PeterbiltCorp Corporation) Cars.kif 4985-4985
(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 17504-17508
(=>
    (instance ?Bond CorporateBond)
    (exists (?Agent)
        (and
            (instance ?Agent Corporation)
            (issuedBy ?Bond ?Agent))))
FinancialOntology.kif 2301-2306
(=>
    (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 12714-12724
(=>
    (instance ?NUMBER AccountNumber)
    (exists (?CORPORATION ?AGENT ?NUMBER)
        (and
            (instance ?CORPORATION Corporation)
            (instance ?AGENT Agent)
            (uniqueIdWithRespectTo ?CORPORATION ?HUMAN ?NUMBER))))
Mid-level-ontology.kif 28092-28098
(=>
    (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 8269-8282


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners