Organization | ![]() |
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 16343-16352 | |
(subclass Organization Agent) | Merge.kif 16341-16341 | |
(subclass Organization Group) | Merge.kif 16335-16335 |
appearance as argument number 2 |
![]() |
appearance as argument number 3 |
![]() |
(domain DepartmentOfFn 1 Organization) | Mid-level-ontology.kif 17733-17733 | |
(domain DepartmentOfPreventingFn 1 Organization) | Mid-level-ontology.kif 17772-17772 | |
(domain MemberFn 1 Organization) | Government.kif 1758-1758 | |
(domain MemberRoleFn 1 Organization) | Government.kif 1779-1779 | |
(domain accommodationProvider 2 Organization) | Hotel.kif 2735-2735 | |
(domain affiliatedOrganization 1 Organization) | Mid-level-ontology.kif 23579-23579 | |
(domain affiliatedOrganization 2 Organization) | Mid-level-ontology.kif 23580-23580 | |
(domain aimOfOrganization 1 Organization) | Government.kif 2582-2582 | |
(domain ancestorOrganization 1 Organization) | Mid-level-ontology.kif 23607-23607 | |
(domain ancestorOrganization 2 Organization) | Mid-level-ontology.kif 23608-23608 | |
(domain businessUnit 1 Organization) | UXExperimentalTerms.kif 2757-2757 | |
(domain chamberOfLegislature 1 Organization) | Government.kif 2055-2055 | |
(domain chamberOfLegislature 2 Organization) | Government.kif 2056-2056 | |
(domain checkInTime 1 Organization) | Hotel.kif 643-643 | |
(domain colleague 3 Organization) | Mid-level-ontology.kif 16277-16277 | |
(domain customerRepresentative 3 Organization) | FinancialOntology.kif 3634-3634 | |
(domain electionForOrganization 2 Organization) | Government.kif 1817-1817 | |
(domain executiveBranch 1 Organization) | Government.kif 1278-1278 | |
(domain grossMerchandiseBoughtInPeriod 2 Organization) | ComputerInput.kif 2962-2962 | |
(domain grossMerchandiseSoldInPeriod 2 Organization) | ComputerInput.kif 2991-2991 | |
(domain headquartersOfOrganization 1 Organization) | Mid-level-ontology.kif 7253-7253 | |
(domain ideologicalAffiliationOfOrganization 1 Organization) | Mid-level-ontology.kif 23585-23585 | |
(domain insured 2 Organization) | Mid-level-ontology.kif 6802-6802 | |
(domain judicialBranch 1 Organization) | Government.kif 2091-2091 | |
(domain legislativeBranch 1 Organization) | Government.kif 1997-1997 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
![]() |
(=> (and (attribute ?AGENT (MemberFn ?ORG)) (instance ?AGENT Agent) (instance ?ORG Organization)) (member ?AGENT ?ORG)) |
Government.kif 1771-1776 | |
(=> (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 4650-4659 | |
(=> (and (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2) (instance ?AGENT1 Organization) (instance ?AGENT2 GeopoliticalArea)) (agentOperatesInArea ?AGENT1 ?AGENT2)) |
Government.kif 4496-4501 | |
(=> (and (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2) (instance ?AGENT1 Organization)) (employs ?AGENT1 ?PERSON)) |
Government.kif 4484-4488 | |
(=> (and (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2) (instance ?AGENT1 Organization)) (occupiesPosition ?PERSON ?POSITION ?ORG)) |
Government.kif 4472-4476 | |
(=> (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 20075-20084 | |
(=> (and (executiveBranch ?BRANCH ?ORG) (instance ?ORG Organization)) (subOrganization ?BRANCH ?ORG)) |
Government.kif 1298-1302 | |
(=> (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 1644-1650 | |
(=> (and (industryServiceType ?INDUSTRY ?TYPE) (instance ?INDUSTRY IndustryAttribute) (instance ?BUSINESS Organization) (attribute ?BUSINESS ?INDUSTRY)) (organizationServiceType ?BUSINESS ?TYPE)) |
Economy.kif 1684-1690 | |
(=> (and (instance (ExecutiveBranchFn ?AREA) Organization) (instance ?AREA GeopoliticalArea)) (executiveBranch (ExecutiveBranchFn ?AREA) (GovernmentFn ?AREA))) |
Government.kif 1333-1337 | |
(=> (and (instance (JudiciaryFn ?AREA) Organization) (instance ?AREA GeopoliticalArea)) (judicialBranch (JudiciaryFn ?AREA) (GovernmentFn ?AREA))) |
Government.kif 2152-2156 | |
(=> (and (instance (LegislatureFn ?AREA) Organization) (instance ?AREA GeopoliticalArea)) (legislativeBranch (LegislatureFn ?AREA) (GovernmentFn ?AREA))) |
Government.kif 2047-2051 | |
(=> (and (instance ?AGENT Agent) (instance ?ORG Organization) (member ?AGENT ?ORG)) (attribute ?AGENT (MemberFn ?ORG))) |
Government.kif 1764-1769 | |
(=> (and (instance ?AGENT Human) (instance ?ORG Organization) (instance ?POSITION Position) (attribute ?AGENT (MemberRoleFn ?ORG ?POSITION))) (attribute ?AGENT (MemberFn ?ORG))) |
Government.kif 1786-1792 | |
(=> (and (instance ?AGENT Human) (instance ?ORG Organization) (instance ?POSITION Position) (attribute ?AGENT (MemberRoleFn ?ORG ?POSITION))) (member ?AGENT ?ORG)) |
Government.kif 1794-1800 | |
(=> (and (instance ?AGR InternationalAgreement) (instance (AgreementOrganizationFn ?AGR) Organization)) (instance (AgreementOrganizationFn ?AGR) OrganizationOfNations)) |
Geography.kif 2985-2989 | |
(=> (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 10634-10642 | |
(=> (and (instance ?GROUP Organization) (electionForPosition ?ELECTION (MemberFn ?GROUP))) (electionForOrganization ?ELECTION ?GROUP)) |
Government.kif 1828-1832 | |
(=> (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 24449-24470 | |
(=> (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 10618-10626 | |
(=> (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 10504-10512 | |
(=> (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 10525-10537 | |
(=> (and (instance ?JOIN Hiring) (instance ?ORG Organization) (agent ?JOIN ?ORG) (patient ?JOIN ?PERSON)) (holdsDuring (ImmediateFutureFn (WhenFn ?JOIN)) (employs ?ORG ?PERSON))) |
Merge.kif 10514-10523 | |
(=> (and (instance ?JOIN JoiningAnOrganization) (instance ?AGENT Agent) (agent ?JOIN ?AGENT) (patient ?JOIN ?ORG) (instance ?JOIN Organization)) (member ?AGENT ?ORG)) |
Government.kif 2498-2505 | |
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 10451-10460 | |
(=> (and (instance ?AGENT Agent) (subclass (ElectionFn ?AGENT) Election)) (or (instance ?AGENT Organization) (instance ?AGENT GeopoliticalArea))) |
Government.kif 1689-1695 | |
(=> (and (instance ?ATTR IndustryAttribute) (attribute ?OBJ ?ATTR)) (instance ?OBJ Organization)) |
Media.kif 1880-1884 | |
(=> (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 6732-6741 | |
(=> (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 13098-13109 | |
(=> (attribute ?X BusinessExecutive) (exists (?BUSINESS ?MANAGE) (and (instance ?MANAGE Managing) (instance ?BUSINESS Organization) (patient ?MANAGE ?BUSINESS) (agent ?MANAGE ?X)))) |
Mid-level-ontology.kif 21641-21648 | |
(=> (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 20065-20073 | |
(=> (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 3714-3718 | |
(=> (equal ?FY (FiscalYearStartingFn ?PLACE ?YEAR)) (or (instance ?PLACE GeopoliticalArea) (instance ?PLACE Organization))) |
Economy.kif 3740-3744 | |
(=> (executiveBranch ?BRANCH ?AGENT) (or (instance ?BRANCH GeopoliticalArea) (instance ?BRANCH Organization))) |
Government.kif 1286-1290 | |
(=> (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 22412-22421 | |
(=> (instance ?BU BuildingUnit) (exists (?O ?B) (and (instance ?B Building) (instance ?O Organization) (part ?BU ?B) (workLocation ?O ?BU)))) |
Mid-level-ontology.kif 19894-19901 | |
(=> (instance ?CS CustomerSupport) (exists (?ORG) (and (instance ?ORG Organization) (businessUnit ?CS ?ORG)))) |
UXExperimentalTerms.kif 2998-3003 | |
(=> (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 3005-3015 | |
(=> (instance ?FOUND Founding) (exists (?ORG) (and (instance ?ORG Organization) (result ?FOUND ?ORG)))) |
Mid-level-ontology.kif 900-905 | |
(=> (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 15507-15514 | |
(=> (judicialBranch ?BRANCH ?AGENT) (or (instance ?BRANCH GeopoliticalArea) (instance ?BRANCH Organization))) |
Government.kif 2099-2103 | |
(=> (legislativeBranch ?ORG ?AGENT) (or (instance ?AGENT Organization) (instance ?AGENT GeopoliticalArea))) |
Government.kif 2004-2008 | |
(=> (suffrageAgeMaximum ?AGENT ?AGE) (or (instance ?AGENT Organization) (instance ?AGENT GeopoliticalArea))) |
Government.kif 1020-1024 | |
(=> (suffrageAgeMinimum ?AGENT ?AGE) (or (instance ?AGENT Organization) (instance ?AGENT GeopoliticalArea))) |
Government.kif 948-952 |
![]() |
![]() |