| 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 16318-16321 | |
| (externalImage Corporation "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4b/ Stora_Kopparberg_1288.jpg") | pictureList.kif 5934-5934 | |
| (externalImage Corporation "http://upload.wikimedia.org/wikipedia/commons/ 5/ 5c/ Vereinigte_Ostindische_Compagnie_bond.jpg") | pictureList.kif 6310-6310 | |
| (subclass Corporation Business) | Merge.kif 16314-16314 | |
| (subclass Corporation LegalAgent) | Merge.kif 16316-16316 |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (<=> (and (accountHolder ?Account ?Agent) (instance ?Agent Corporation)) (instance ?Account CorporateAccount)) |
FinancialOntology.kif 1018-1022 |
| consequent |
|
|
| (=> (and (instance ?CONTEST BusinessCompetition) (contestParticipant ?CONTEST ?AGENT)) (instance ?AGENT Corporation)) |
Mid-level-ontology.kif 21304-21308 | |
| (=> (instance ?Bond CorporateBond) (exists (?Agent) (and (instance ?Agent Corporation) (issuedBy ?Bond ?Agent)))) |
FinancialOntology.kif 2394-2399 | |
| (=> (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 16397-16405 | |
| (=> (instance ?NUMBER AccountNumber) (exists (?CORPORATION ?AGENT ?HUMAN) (and (instance ?CORPORATION Corporation) (instance ?AGENT AutonomousAgent) (uniqueIdWithRespectTo ?CORPORATION ?HUMAN ?NUMBER)))) |
Mid-level-ontology.kif 31568-31574 | |
| (=> (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 9770-9783 |
|
|
|