Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| appearance as argument number 1 |
|
| (subclass Corporation Business) | Merge.kif 16544-16544 | Corporation is a subclass of business |
| (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 16546-16549 | Corporation is a subclass of business |
| (externalImage Corporation "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4b/ Stora_Kopparberg_1288.jpg") | pictureList.kif 5934-5934 | Corporation is a subclass of business |
| (externalImage Corporation "http://upload.wikimedia.org/wikipedia/commons/ 5/ 5c/ Vereinigte_Ostindische_Compagnie_bond.jpg") | pictureList.kif 6310-6310 | Corporation is a subclass of business |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?ORG Corporation) (attribute ?ORG LegalPersonhood)) |
Merge.kif 16552-16554 | If X is an instance of corporation, then legal personhood is an attribute of X |
| (<=> (and (accountHolder ?Account ?Agent) (instance ?Agent Corporation)) (instance ?Account CorporateAccount)) |
FinancialOntology.kif 1043-1047 | X holds account Y, X is an instance of corporation if, and only if Y is an instance of corporate account |
| consequent |
|
|
| (=> (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 9903-9916 | If X is an instance of union organization, then there exist Y, Z such that Z is a member of XY is an instance of corporation, Y employs Z or there exists W such that Y is an instance of industry, W is a member of Y, and W employs Z |
| (=> (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 16591-16599 | If X is an instance of industry, then there exist Y, Z, W such that Y is a member of X, Z is a member of X, W is a subclass of corporation, Y is an immediate instance of W, and Z is an immediate instance of W |
| (=> (and (instance ?CONTEST BusinessCompetition) (contestParticipant ?CONTEST ?AGENT)) (instance ?AGENT Corporation)) |
Mid-level-ontology.kif 21628-21632 | If X is an instance of business competition and Y participates in X, then Y is an instance of corporation |
| (=> (instance ?NUMBER AccountNumber) (exists (?CORPORATION ?AGENT ?HUMAN) (and (instance ?CORPORATION Corporation) (instance ?AGENT AutonomousAgent) (uniqueIdWithRespectTo ?CORPORATION ?HUMAN ?NUMBER)))) |
Mid-level-ontology.kif 32529-32535 | If X is an instance of account number, then there exist Y, Z, W such that Y is an instance of corporation, Z is an instance of agent, and X is a unique ID for W with respect to Y |
| (=> (instance ?Bond CorporateBond) (exists (?Agent) (and (instance ?Agent Corporation) (issuedBy ?Bond ?Agent)))) |
FinancialOntology.kif 2421-2426 | If X is an instance of corporate bond, then there exists Y such that Y is an instance of corporation and Y is an issued by of X |
|
