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 |
|
|
| (subclass Manufacturer Corporation) | Merge.kif 16556-16556 | Manufacturer is a subclass of corporation |
| (subclass MercantileOrganization Corporation) | Merge.kif 16569-16569 | Mercantile organization is a subclass of corporation |
| (instance SnapOnTools Corporation) | Cars.kif 4357-4357 | Snap_on Tools is an instance of corporation |
| (instance HarleyDavidson Corporation) | Cars.kif 4360-4360 | Harley Davidson is an instance of corporation |
| (instance GeneralMotorsCorp Corporation) | Cars.kif 4385-4385 | General Motors is an instance of corporation |
| (instance HoldenCorporation Corporation) | Cars.kif 4389-4389 | Holden Corporation is an instance of corporation |
| (instance HarleyDavidsonCorp Corporation) | Cars.kif 4464-4464 | Harley Davidson is an instance of corporation |
| (instance RoverGroup Corporation) | Cars.kif 4599-4599 | Rover group is an instance of corporation |
| (instance BritishSeagullCorp Corporation) | Cars.kif 4618-4618 | British Seagull corp is an instance of corporation |
| (instance SimmonsCorp Corporation) | Cars.kif 4726-4726 | Simmons corp is an instance of corporation |
| (instance BritishMotorCorp Corporation) | Cars.kif 4738-4738 | British Motors is an instance of corporation |
| (instance FordCorporation Corporation) | Cars.kif 4808-4808 | Ford is an instance of corporation |
| (instance PeterbiltCorp Corporation) | Cars.kif 4898-4898 | Peterbilt is an instance of corporation |
| (instance SortimoCorp Corporation) | Cars.kif 4997-4997 | Sortimo Corporation is an instance of corporation |
| (instance IconMotorcyleEquipmentCorporation Corporation) | Cars.kif 5042-5042 | Icon Corporation is an instance of corporation |
| (instance CosworthCorp Corporation) | Cars.kif 5050-5050 | Cosworth Corporation is an instance of corporation |
| (instance AppleComputerCorporation Corporation) | ComputingBrands.kif 14-14 | Apple is an instance of corporation |
| (instance AlphabetCorporation Corporation) | ComputingBrands.kif 15-15 | Alphabet is an instance of corporation |
| (instance GoogleCorporation Corporation) | ComputingBrands.kif 16-16 | Google corporation is an instance of corporation |
| (instance MicrosoftCorporation Corporation) | ComputingBrands.kif 49-49 | Microsoft is an instance of corporation |
| (instance FacebookCorporation Corporation) | ComputingBrands.kif 68-68 | Facebook is an instance of corporation |
| (instance ATandTCorp Corporation) | ComputingBrands.kif 2122-2122 | AT&T corp is an instance of corporation |
| (instance AdobeComputerCorp Corporation) | ComputingBrands.kif 2849-2849 | Adobe is an instance of corporation |
| (instance ByteDance Corporation) | ComputingBrands.kif 4507-4507 | ByteDance is an instance of corporation |
| (instance EBay Corporation) | ComputingBrands.kif 4571-4571 | EBay is an instance of corporation |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| 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 |
|
