| Organization(sansthaa) | |
| appearance as argument number 1 |
|
|
| (disjoint Organization Human) | Media.kif 35-35 | |
| (documentation Organization ChineseLanguage "一个 Organization 是一家公司或者是类似的机构。 Organization 的 member 通常有着共同的一向和功能。注：这个类别也包括组织的分支和部门等等。例如： 壳牌石油公司和壳牌的会计部都是 Organization 的实例。也有注意：一家 Organization 的成立需要起码存在 一位 member(因为 Organization 是 Collection 的子类别)因此，对于纯粹法律上的组织，我们应该假设 以一个虚拟的 member。") | chinese_format.kif 3720-3724 | |
| (documentation Organization EnglishLanguage "An Organization is a corporate or similar institution. The members of an Organization typically have a common purpose or function. Note that this class also covers divisions, departments, etc. of organizations. For example, both the Shell Oil Corporation and the accounting department at Shell would both be instances of Organization. Note too that the existence of an Organization is dependent on the existence of at least one member (since Organization is a subclass of Collection). Accordingly, in cases of purely legal organizations, a fictitious member should be assumed.") | Merge.kif 16689-16698 | |
| (subclass Organization AutonomousAgent) | Merge.kif 16687-16687 | |
| (subclass Organization Group) | Merge.kif 16681-16681 |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain DepartmentOfFn 1 Organization) | Mid-level-ontology.kif 18613-18613 | |
| (domain DepartmentOfPreventingFn 1 Organization) | Mid-level-ontology.kif 18684-18684 | |
| (domain MemberFn 1 Organization) | Government.kif 1723-1723 | |
| (domain MemberRoleFn 1 Organization) | Government.kif 1744-1744 | |
| (domain accommodationProvider 2 Organization) | Hotel.kif 2766-2766 | |
| (domain affiliatedOrganization 1 Organization) | Mid-level-ontology.kif 24460-24460 | |
| (domain affiliatedOrganization 2 Organization) | Mid-level-ontology.kif 24461-24461 | |
| (domain aimOfOrganization 1 Organization) | Government.kif 2547-2547 | |
| (domain ancestorOrganization 1 Organization) | Mid-level-ontology.kif 24488-24488 | |
| (domain ancestorOrganization 2 Organization) | Mid-level-ontology.kif 24489-24489 | |
| (domain businessUnit 1 Organization) | UXExperimentalTerms.kif 2547-2547 | |
| (domain chamberOfLegislature 1 Organization) | Government.kif 2020-2020 | |
| (domain chamberOfLegislature 2 Organization) | Government.kif 2021-2021 | |
| (domain checkInTime 1 Organization) | Hotel.kif 664-664 | |
| (domain colleague 3 Organization) | Mid-level-ontology.kif 17083-17083 | |
| (domain customerRepresentative 3 Organization) | FinancialOntology.kif 3630-3630 | |
| (domain electionForOrganization 2 Organization) | Government.kif 1782-1782 | |
| (domain executiveBranch 1 Organization) | Government.kif 1243-1243 | |
| (domain grossMerchandiseBoughtInPeriod 2 Organization) | ComputerInput.kif 2965-2965 | |
| (domain grossMerchandiseSoldInPeriod 2 Organization) | ComputerInput.kif 2994-2994 | |
| (domain headquartersOfOrganization 1 Organization) | Mid-level-ontology.kif 7791-7791 | |
| (domain ideologicalAffiliationOfOrganization 1 Organization) | Mid-level-ontology.kif 24466-24466 | |
| (domain insured 2 Organization) | Mid-level-ontology.kif 7356-7356 | |
| (domain judicialBranch 1 Organization) | Government.kif 2056-2056 | |
| (domain legislativeBranch 1 Organization) | Government.kif 1962-1962 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| antecedent |
|
|
| (=> (and (attribute ?AGENT (MemberFn ?ORG)) (instance ?AGENT AutonomousAgent) (instance ?ORG Organization)) (member ?AGENT ?ORG)) |
Government.kif 1736-1741 | |
| (=> (and (diplomaticOrganizationType ?AGENT1 ?TYPE ?AGENT2) (instance ?AGENT1 Organization) (instance ?AGENT2 GeopoliticalArea)) (exists (?ORG) (and (instance ?ORG ?TYPE) (located ?ORG ?AGENT2) (subOrganization ?ORG ?AGENT1)))) |
Government.kif 4620-4629 | |
| (=> (and (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2) (instance ?AGENT1 Organization) (instance ?AGENT2 GeopoliticalArea)) (agentOperatesInArea ?AGENT1 ?AGENT2)) |
Government.kif 4466-4471 | |
| (=> (and (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2) (instance ?AGENT1 Organization)) (employs ?AGENT1 ?PERSON)) |
Government.kif 4454-4458 | |
| (=> (and (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2) (instance ?AGENT1 Organization)) (occupiesPosition ?PERSON ?POSITION ?ORG)) |
Government.kif 4442-4446 | |
| (=> (and (directed ?DIRECTOR ?MOVIE) (instance ?FILMMAKING FilmMaking) (instance ?FILMCREW Organization) (leader ?FILMCREW ?DIRECTOR) (agent ?FILMMAKING ?FILMCREW) (result ?FILMMAKING ?MOVIE)) (holdsDuring (WhenFn ?FILMMAKING) (attribute ?DIRECTOR FilmDirector))) |
Mid-level-ontology.kif 21024-21033 | |
| (=> (and (executiveBranch ?BRANCH ?ORG) (instance ?ORG Organization)) (subOrganization ?BRANCH ?ORG)) |
Government.kif 1263-1267 | |
| (=> (and (governmentType ?AGENT ?TYPE) (subAttribute ?TYPE TheocraticGovernment) (instance ?AGENT Organization)) (instance ?AGENT ReligiousOrganization)) |
Government.kif 345-350 | |
| (=> (and (industryProductType ?INDUSTRY ?TYPE) (instance ?INDUSTRY IndustryAttribute) (instance ?BUSINESS Organization) (attribute ?BUSINESS ?INDUSTRY)) (organizationProductType ?BUSINESS ?TYPE)) |
Economy.kif 1633-1639 | |
| (=> (and (industryServiceType ?INDUSTRY ?TYPE) (instance ?INDUSTRY IndustryAttribute) (instance ?BUSINESS Organization) (attribute ?BUSINESS ?INDUSTRY)) (organizationServiceType ?BUSINESS ?TYPE)) |
Economy.kif 1673-1679 | |
| (=> (and (instance (ExecutiveBranchFn ?AREA) Organization) (instance ?AREA GeopoliticalArea)) (executiveBranch (ExecutiveBranchFn ?AREA) (GovernmentFn ?AREA))) |
Government.kif 1298-1302 | |
| (=> (and (instance (JudiciaryFn ?AREA) Organization) (instance ?AREA GeopoliticalArea)) (judicialBranch (JudiciaryFn ?AREA) (GovernmentFn ?AREA))) |
Government.kif 2117-2121 | |
| (=> (and (instance (LegislatureFn ?AREA) Organization) (instance ?AREA GeopoliticalArea)) (legislativeBranch (LegislatureFn ?AREA) (GovernmentFn ?AREA))) |
Government.kif 2012-2016 | |
| (=> (and (instance ?AGENT AutonomousAgent) (instance ?ORG Organization) (member ?AGENT ?ORG)) (attribute ?AGENT (MemberFn ?ORG))) |
Government.kif 1729-1734 | |
| (=> (and (instance ?AGENT Human) (instance ?ORG Organization) (instance ?POSITION Position) (attribute ?AGENT (MemberRoleFn ?ORG ?POSITION))) (attribute ?AGENT (MemberFn ?ORG))) |
Government.kif 1751-1757 | |
| (=> (and (instance ?AGENT Human) (instance ?ORG Organization) (instance ?POSITION Position) (attribute ?AGENT (MemberRoleFn ?ORG ?POSITION))) (member ?AGENT ?ORG)) |
Government.kif 1759-1765 | |
| (=> (and (instance ?AGR InternationalAgreement) (instance (AgreementOrganizationFn ?AGR) Organization)) (instance (AgreementOrganizationFn ?AGR) OrganizationOfNations)) |
Geography.kif 3051-3055 | |
| (=> (and (instance ?FIRE TerminatingEmployment) (instance ?ORG Organization) (agent ?FIRE ?ORG) (patient ?FIRE ?PERSON)) (and (holdsDuring (BeginFn (WhenFn ?FIRE)) (employs ?ORG ?PERSON)) (holdsDuring (EndFn (WhenFn ?FIRE)) (not (employs ?ORG ?PERSON))))) |
Merge.kif 10784-10792 | |
| (=> (and (instance ?GROUP Organization) (electionForPosition ?ELECTION (MemberFn ?GROUP))) (electionForOrganization ?ELECTION ?GROUP)) |
Government.kif 1793-1797 | |
| (=> (and (instance ?H Hotline) (telephoneNumber ?H ?O) (instance ?O Organization)) (hasPurpose ?H (exists (?T) (and (instance ?T Telephoning) (destination ?T ?O) (modalAttribute (exists (?C) (and (instance ?C Communication) (instrument ?C ?H) (equal (BeginFn (WhenFn ?C)) (BeginFn (ImmediateFutureFn (WhenFn ?T)))))) Likely))))) |
Mid-level-ontology.kif 25413-25434 | |
| (=> (and (instance ?HIRE Hiring) (instance ?ORG Organization) (agent ?HIRE ?ORG) (patient ?HIRE ?PERSON)) (and (holdsDuring (BeginFn (WhenFn ?HIRE)) (not (employs ?ORG ?PERSON))) (holdsDuring (EndFn (WhenFn ?HIRE)) (employs ?ORG ?PERSON)))) |
Merge.kif 10768-10776 | |
| (=> (and (instance ?JOIN Hiring) (instance ?ORG Organization) (agent ?JOIN ?ORG) (patient ?JOIN ?PERSON)) (and (holdsDuring (BeginFn (WhenFn ?JOIN)) (not (member ?PERSON ?ORG))) (holdsDuring (EndFn (WhenFn ?JOIN)) (member ?PERSON ?ORG)))) |
Merge.kif 10654-10662 | |
| (=> (and (instance ?JOIN Hiring) (instance ?ORG Organization) (agent ?JOIN ?ORG) (patient ?JOIN ?PERSON)) (expects ?ORG (exists (?FT) (and (instance ?FT FinancialTransaction) (agent ?FT ?ORG) (destination ?FT ?PERSON) (earlier (WhenFn ?JOIN) (WhenFn ?FT)))))) |
Merge.kif 10675-10687 | |
| (=> (and (instance ?JOIN Hiring) (instance ?ORG Organization) (agent ?JOIN ?ORG) (patient ?JOIN ?PERSON)) (holdsDuring (ImmediateFutureFn (WhenFn ?JOIN)) (employs ?ORG ?PERSON))) |
Merge.kif 10664-10673 | |
| (=> (and (instance ?JOIN JoiningAnOrganization) (instance ?AGENT AutonomousAgent) (agent ?JOIN ?AGENT) (patient ?JOIN ?ORG) (instance ?JOIN Organization)) (member ?AGENT ?ORG)) |
Government.kif 2463-2470 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| consequent |
|
|
| (=> (and (instance ?ACT OrganizationalProcess) (agent ?ACT ?AGENT)) (or (instance ?AGENT Organization) (exists (?ORG) (and (instance ?ORG Organization) (member ?AGENT ?ORG))))) |
Merge.kif 10584-10593 | |
| (=> (and (instance ?AGENT AutonomousAgent) (subclass (ElectionFn ?AGENT) Election)) (or (instance ?AGENT Organization) (instance ?AGENT GeopoliticalArea))) |
Government.kif 1654-1660 | |
| (=> (and (instance ?ATTR IndustryAttribute) (attribute ?OBJ ?ATTR)) (instance ?OBJ Organization)) |
Media.kif 1882-1886 | |
| (=> (and (instance ?UNIT CommercialUnit) (instance ?ORG Organization) (located ?ORG ?UNIT)) (not (exists (?OTHER) (and (instance ?OTHER Organization) (located ?OTHER ?UNIT) (not (equal ?OTHER ?ORG)))))) |
Mid-level-ontology.kif 7286-7295 | |
| (=> (and (instance ?WAR War) (agent ?WAR ?AGENT)) (or (instance ?AGENT GeopoliticalArea) (and (instance ?AGENT Organization) (forall (?MEMBER) (=> (member ?MEMBER ?AGENT) (instance ?MEMBER GeopoliticalArea)))))) |
Merge.kif 13394-13405 | |
| (=> (attribute ?X BusinessExecutive) (exists (?BUSINESS ?MANAGE) (and (instance ?MANAGE Managing) (instance ?BUSINESS Organization) (patient ?MANAGE ?BUSINESS) (agent ?MANAGE ?X)))) |
Mid-level-ontology.kif 22475-22482 | |
| (=> (directed ?DIRECTOR ?MOVIE) (exists (?FILMMAKING ?FILMCREW) (and (instance ?FILMMAKING FilmMaking) (instance ?FILMCREW Organization) (leader ?FILMCREW ?DIRECTOR) (agent ?FILMMAKING ?FILMCREW) (result ?FILMMAKING ?MOVIE)))) |
Mid-level-ontology.kif 21014-21022 | |
| (=> (economyType ?AGENT ?ATTRIBUTE) (or (instance ?AGENT GeopoliticalArea) (instance ?AGENT Organization))) |
Economy.kif 91-95 | |
| (=> (equal ?FY (FiscalYearFn ?PLACE)) (or (instance ?PLACE GeopoliticalArea) (instance ?PLACE Organization))) |
Economy.kif 3819-3823 | |
| (=> (equal ?FY (FiscalYearStartingFn ?PLACE ?YEAR)) (or (instance ?PLACE GeopoliticalArea) (instance ?PLACE Organization))) |
Economy.kif 3847-3851 | |
| (=> (executiveBranch ?BRANCH ?AGENT) (or (instance ?BRANCH GeopoliticalArea) (instance ?BRANCH Organization))) |
Government.kif 1251-1255 | |
| (=> (governmentType ?AGENT ?TYPE) (or (instance ?AGENT Organization) (instance ?AGENT GeopoliticalArea))) |
Government.kif 136-140 | |
| (=> (holdsDuring ?T1 (coworker ?H1 ?H2)) (exists (?ORG) (and (instance ?ORG Organization) (holdsDuring ?T1 (and (employs ?ORG ?H1) (employs ?ORG ?H2)))))) |
Mid-level-ontology.kif 23280-23289 | |
| (=> (instance ?BU BuildingUnit) (exists (?O ?B) (and (instance ?B Building) (instance ?O Organization) (part ?BU ?B) (workLocation ?O ?BU)))) |
Mid-level-ontology.kif 20842-20849 | |
| (=> (instance ?CS CustomerSupport) (exists (?ORG) (and (instance ?ORG Organization) (businessUnit ?CS ?ORG)))) |
UXExperimentalTerms.kif 2788-2793 | |
| (=> (instance ?CS CustomerSupport) (hasPurpose ?CS (exists (?MEMBER ?CUSTOMER ?ORG) (and (instance ?MEMBER CognitiveAgent) (instance ?CUSTOMER CognitiveAgent) (instance ?ORG Organization) (businessUnit ?CS ?ORG) (member ?MEMBER ?CS) (customerRepresentative ?MEMBER ?CUSTOMER ?ORG))))) |
UXExperimentalTerms.kif 2795-2805 | |
| (=> (instance ?DC DrugCandidate) (exists (?O) (and (instance ?O Organization) (hasPurposeForAgent ?DC (instance ?DC Medicine) ?O)))) |
Medicine.kif 3077-3084 | |
| (=> (instance ?FOUND Founding) (exists (?ORG) (and (instance ?ORG Organization) (result ?FOUND ?ORG)))) |
Mid-level-ontology.kif 928-933 | |
| (=> (instance ?N BroadcastNetwork) (exists (?O) (and (instance ?O Organization) (forall (?M) (=> (member ?M ?N) (possesses ?O ?M)))))) |
Communications.kif 369-377 | |
| (=> (instance ?RESOLUTION Resolution) (exists (?AGENT ?MEETING) (and (instance ?AGENT Organization) (agent ?RESOLUTION ?AGENT) (subProcess ?RESOLUTION ?MEETING) (instance ?MEETING FormalMeeting)))) |
Mid-level-ontology.kif 16308-16315 | |
| (=> (judicialBranch ?BRANCH ?AGENT) (or (instance ?BRANCH GeopoliticalArea) (instance ?BRANCH Organization))) |
Government.kif 2064-2068 | |
| (=> (legislativeBranch ?ORG ?AGENT) (or (instance ?AGENT Organization) (instance ?AGENT GeopoliticalArea))) |
Government.kif 1969-1973 | |
| (=> (suffrageAgeMaximum ?AGENT ?AGE) (or (instance ?AGENT Organization) (instance ?AGENT GeopoliticalArea))) |
Government.kif 985-989 | |
| (=> (suffrageAgeMinimum ?AGENT ?AGE) (or (instance ?AGENT Organization) (instance ?AGENT GeopoliticalArea))) |
Government.kif 913-917 |
|
|
|