Organization - Sigma Knowledge base Browser

appearance as argument number 1

(disjoint Organization Human)	Media.kif 35-35	Organization is disjoint from human
(documentation Organization ChineseLanguage "一个 Organization 是一家公司或者是类似的机构。 Organization 的 member 通常有着共同的一向和功能。注：这个类别也包括组织的分支和部门等等。例如：壳牌石油公司和壳牌的会计部都是 Organization 的实例。也有注意：一家 Organization 的成立需要起码存在一位 member(因为 Organization 是 Collection 的子类别)因此，对于纯粹法律上的组织，我们应该假设以一个虚拟的 member。")	chinese_format.kif 3720-3724	Organization is disjoint from human
(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 16772-16781	Organization is disjoint from human
(subclass Organization AutonomousAgent)	Merge.kif 16770-16770	Organization is a subclass of agent
(subclass Organization Group)	Merge.kif 16764-16764	Organization is a subclass of group

appearance as argument number 2

(instance AmericanInstituteInTaiwan Organization)	Government.kif 4686-4686	American institute in taiwan is an instance of organization
(instance BlueCrossBlueShield Organization)	Medicine.kif 5600-5600	Blue Cross Blue Shield is an instance of organization
(instance NASDAQ Organization)	FinancialOntology.kif 1757-1757	NASDAQ is an instance of organization
(range AgreementOrganizationFn Organization)	Geography.kif 3045-3045	The range of agreement organization is an instance of organization
(range DepartmentOfFn Organization)	Mid-level-ontology.kif 19913-19913	The range of department is an instance of organization
(range DepartmentOfPreventingFn Organization)	Mid-level-ontology.kif 19985-19985	The range of Department of preventing fn is an instance of organization
(range ExecutiveBranchFn Organization)	Government.kif 1284-1284	The range of executive branch is an instance of organization
(subclass Business Organization)	Merge.kif 16340-16340	Business is a subclass of organization
(subclass CareOrganization Organization)	Mid-level-ontology.kif 8810-8810	Care organization is a subclass of organization
(subclass Club Organization)	Mid-level-ontology.kif 935-935	Club is a subclass of organization
(subclass Commission Organization)	Mid-level-ontology.kif 9661-9661	Commission is a subclass of organization
(subclass CommunicationOrganization Organization)	Mid-level-ontology.kif 8764-8764	Communication organization is a subclass of organization
(subclass CopyrightAuthority Organization)	Media.kif 1709-1709	Copyright authority is a subclass of organization
(subclass CrossFunctionalTeam Organization)	UXExperimentalTerms.kif 2611-2611	Cross_functional team is a subclass of organization
(subclass CustomerSupport Organization)	UXExperimentalTerms.kif 2781-2781	Customer support is a subclass of organization
(subclass EducationalOrganization Organization)	Merge.kif 16891-16891	Educational organization is a subclass of organization
(subclass FinancialOrganization Organization)	FinancialOntology.kif 17-17	Financial organization is a subclass of organization
(subclass GovernmentOrganization Organization)	Merge.kif 16838-16838	Government organization is a subclass of organization
(subclass HotelFrontDesk Organization)	Hotel.kif 1752-1752	Front desk is a subclass of organization
(subclass InternationalOrganization Organization)	Government.kif 2471-2471	International organization is a subclass of organization
(subclass LegislativeOrganization Organization)	Government.kif 1886-1886	Legislative organization is a subclass of organization
(subclass MarchingBand Organization)	Music.kif 968-968	Marching band is a subclass of organization
(subclass MediaOrganization Organization)	Mid-level-ontology.kif 8780-8780	Media organization is a subclass of organization
(subclass MetallurgicalPlant Organization)	Geography.kif 2742-2742	Metallurgical plant is a subclass of organization
(subclass NonprofitOrganization Organization)	Mid-level-ontology.kif 8793-8793	Nonprofit organization is a subclass of organization

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

(domain DepartmentOfFn 1 Organization)	Mid-level-ontology.kif 19911-19911	The number 1 argument of department is an instance of organization
(domain DepartmentOfPreventingFn 1 Organization)	Mid-level-ontology.kif 19982-19982	The number 1 argument of Department of preventing fn is an instance of organization
(domain MemberFn 1 Organization)	Government.kif 1723-1723	The number 1 argument of member is an instance of organization
(domain MemberRoleFn 1 Organization)	Government.kif 1744-1744	The number 1 argument of member role is an instance of organization
(domain accommodationProvider 2 Organization)	Hotel.kif 2777-2777	The number 2 argument of accommodations provider is an instance of organization
(domain affiliatedOrganization 1 Organization)	Mid-level-ontology.kif 25805-25805	The number 1 argument of affiliated organization is an instance of organization
(domain affiliatedOrganization 2 Organization)	Mid-level-ontology.kif 25806-25806	The number 2 argument of affiliated organization is an instance of organization
(domain aimOfOrganization 1 Organization)	Government.kif 2546-2546	The number 1 argument of aim of organization is an instance of organization
(domain ancestorOrganization 1 Organization)	Mid-level-ontology.kif 25833-25833	The number 1 argument of ancestor organization is an instance of organization
(domain ancestorOrganization 2 Organization)	Mid-level-ontology.kif 25834-25834	The number 2 argument of ancestor organization is an instance of organization
(domain businessUnit 1 Organization)	UXExperimentalTerms.kif 2547-2547	The number 1 argument of business unit is an instance of organization
(domain chamberOfLegislature 1 Organization)	Government.kif 2020-2020	The number 1 argument of chamber of legislature is an instance of organization
(domain chamberOfLegislature 2 Organization)	Government.kif 2021-2021	The number 2 argument of chamber of legislature is an instance of organization
(domain checkInTime 1 Organization)	Hotel.kif 668-668	The number 1 argument of check-in time is an instance of organization
(domain colleague 3 Organization)	Mid-level-ontology.kif 18240-18240	The number 3 argument of colleague is an instance of organization
(domain customerRepresentative 3 Organization)	FinancialOntology.kif 3648-3648	The number 3 argument of customer representative is an instance of organization
(domain electionForOrganization 2 Organization)	Government.kif 1782-1782	The number 2 argument of election for organization is an instance of organization
(domain executiveBranch 1 Organization)	Government.kif 1243-1243	The number 1 argument of executive branch is an instance of organization
(domain grossMerchandiseBoughtInPeriod 2 Organization)	ComputerInput.kif 2968-2968	The number 2 argument of GMB is an instance of organization
(domain grossMerchandiseSoldInPeriod 2 Organization)	ComputerInput.kif 2997-2997	The number 2 argument of GMV is an instance of organization
(domain headquartersOfOrganization 1 Organization)	Mid-level-ontology.kif 8759-8759	The number 1 argument of headquarters of organization is an instance of organization
(domain ideologicalAffiliationOfOrganization 1 Organization)	Mid-level-ontology.kif 25811-25811	The number 1 argument of ideological affiliation of organization is an instance of organization
(domain insured 2 Organization)	Mid-level-ontology.kif 8318-8318	The number 2 argument of insured is an instance of organization
(domain judicialBranch 1 Organization)	Government.kif 2056-2056	The number 1 argument of judicial branch is an instance of organization
(domain legislativeBranch 1 Organization)	Government.kif 1962-1962	The number 1 argument of legislative branch is an instance of organization

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	If the member of an organization is an attribute of an object and the object is an instance of agent and the organization is an instance of organization, then the object is a member of the organization
(=> (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 4619-4628	If an organization is diplomatic organization type another kind of organization for an agent and the organization is an instance of organization and the agent is an instance of geopolitical area, then there exists a third organization such that the third organization is an instance of another kind of organization and the third organization is located at the agent and the third organization is a part of the organization the organization
(=> (and (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2) (instance ?AGENT1 Organization) (instance ?AGENT2 GeopoliticalArea)) (agentOperatesInArea ?AGENT1 ?AGENT2))	Government.kif 4465-4470	If an agent is diplomatic representative in role a human for a position with another agent and the agent is an instance of organization and the other agent is an instance of geopolitical area, then the other agent is an agent operates in area of the agent
(=> (and (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2) (instance ?AGENT1 Organization)) (employs ?AGENT1 ?PERSON))	Government.kif 4453-4457	If an agent is diplomatic representative in role a human for a position with another agent and the agent is an instance of organization, then the agent employs the human
(=> (and (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2) (instance ?AGENT1 Organization)) (occupiesPosition ?PERSON ?POSITION ?ORG))	Government.kif 4441-4445	If an agent is diplomatic representative in role a human for a position with another agent and the agent is an instance of organization, then the human holds the position of the position in an organization
(=> (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 22368-22377	If a human directed a motion picture and a process is an instance of film making and an agent is an instance of organization and the human is a leader of the agent and the agent is an agent of the process and the motion picture is a result of the process, then film director is an attribute of the human holds during the time of existence of the process
(=> (and (executiveBranch ?BRANCH ?ORG) (instance ?ORG Organization)) (subOrganization ?BRANCH ?ORG))	Government.kif 1263-1267	If an organization is an executive branch of another organization and the organization is an instance of organization, then the other organization is a part of the organization the organization
(=> (and (governmentType ?AGENT ?TYPE) (subAttribute ?TYPE TheocraticGovernment) (instance ?AGENT Organization)) (instance ?AGENT ReligiousOrganization))	Government.kif 345-350	If a form of government is a government type of an agent and the form of government is a subattribute of theocratic government and the agent is an instance of organization, then the agent is an instance of religious organization
(=> (and (industryProductType ?INDUSTRY ?TYPE) (instance ?INDUSTRY IndustryAttribute) (instance ?BUSINESS Organization) (attribute ?BUSINESS ?INDUSTRY)) (organizationProductType ?BUSINESS ?TYPE))	Economy.kif 1758-1764	If a kind of object is an industry product type of an industry attribute and the industry attribute is an instance of industry attribute and an organization is an instance of organization and the industry attribute is an attribute of the organization, then a kind of object is an organization product type of the organization
(=> (and (industryServiceType ?INDUSTRY ?TYPE) (instance ?INDUSTRY IndustryAttribute) (instance ?BUSINESS Organization) (attribute ?BUSINESS ?INDUSTRY)) (organizationServiceType ?BUSINESS ?TYPE))	Economy.kif 1798-1804	If a kind of intentional process is an industry service type of an industry attribute and the industry attribute is an instance of industry attribute and an organization is an instance of organization and the industry attribute is an attribute of the organization, then a kind of intentional process is an organization service type of the organization
(=> (and (instance (ExecutiveBranchFn ?AREA) Organization) (instance ?AREA GeopoliticalArea)) (executiveBranch (ExecutiveBranchFn ?AREA) (GovernmentFn ?AREA)))	Government.kif 1298-1302	If the executive branch of a geopolitical area is an instance of organization and the geopolitical area is an instance of geopolitical area, then the government of the geopolitical area is an executive branch of the executive branch of the geopolitical area
(=> (and (instance (JudiciaryFn ?AREA) Organization) (instance ?AREA GeopoliticalArea)) (judicialBranch (JudiciaryFn ?AREA) (GovernmentFn ?AREA)))	Government.kif 2116-2120	If the judiciary of a geopolitical area is an instance of organization and the geopolitical area is an instance of geopolitical area, then the government of the geopolitical area is a judicial branch of the judiciary of the geopolitical area
(=> (and (instance (LegislatureFn ?AREA) Organization) (instance ?AREA GeopoliticalArea)) (legislativeBranch (LegislatureFn ?AREA) (GovernmentFn ?AREA)))	Government.kif 2012-2016	If the legislature of a geopolitical area is an instance of organization and the geopolitical area is an instance of geopolitical area, then the government of the geopolitical area is a legislative branch of the legislature of the geopolitical area
(=> (and (instance ?AGENT AutonomousAgent) (instance ?ORG Organization) (member ?AGENT ?ORG)) (attribute ?AGENT (MemberFn ?ORG)))	Government.kif 1729-1734	If an object is an instance of agent and an organization is an instance of organization and the object is a member of the organization, then the member of the organization is an attribute of the object
(=> (and (instance ?AGENT Human) (instance ?ORG Organization) (instance ?POSITION Position) (attribute ?AGENT (MemberRoleFn ?ORG ?POSITION))) (attribute ?AGENT (MemberFn ?ORG)))	Government.kif 1751-1757	If an object is an instance of human and an organization is an instance of organization and a position is an instance of position and the member role of the organization and the position is an attribute of the object, then the member of the organization is an attribute of the object
(=> (and (instance ?AGENT Human) (instance ?ORG Organization) (instance ?POSITION Position) (attribute ?AGENT (MemberRoleFn ?ORG ?POSITION))) (member ?AGENT ?ORG))	Government.kif 1759-1765	If an object is an instance of human and an organization is an instance of organization and a position is an instance of position and the member role of the organization and the position is an attribute of the object, then the object is a member of the organization
(=> (and (instance ?AGR InternationalAgreement) (instance (AgreementOrganizationFn ?AGR) Organization)) (instance (AgreementOrganizationFn ?AGR) OrganizationOfNations))	Geography.kif 3051-3055	If an agreement is an instance of international agreement and the agreement organization of the agreement is an instance of organization, then the agreement organization of the agreement is an instance of organization of nations
(=> (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 10863-10871	If a process is an instance of terminating employment and an agent is an instance of organization and the agent is an agent of the process and an entity is a patient of the process, then the agent employs the entity holds during the beginning of the time of existence of the process and the agent doesn't employ the entity holds during the end of the time of existence of the process
(=> (and (instance ?GROUP Organization) (electionForPosition ?ELECTION (MemberFn ?GROUP))) (electionForOrganization ?ELECTION ?GROUP))	Government.kif 1793-1797	If an organization is an instance of organization and the member of the organization is an election for position of an election, then the organization is an election for organization of the election
(=> (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 26774-26795	If a telecom number is an instance of hotline and the telecom number is the telephone number of an agent and the agent is an instance of organization, then the telecom number has the purpose there exists an entity such that the entity is an instance of telephoning and the entity ends up at the agent and the statement there exists another entity such that the other entity is an instance of communication and the telecom number is an instrument for the other entity and the beginning of the time of existence of the other entity is equal to the beginning of immediately after the time of existence of the entity has the modal force of likely
(=> (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 10847-10855	If a process is an instance of hiring and an agent is an instance of organization and the agent is an agent of the process and an entity is a patient of the process, then the agent doesn't employ the entity holds during the beginning of the time of existence of the process and the agent employs the entity holds during the end of the time of existence of the process
(=> (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 10733-10741	If a process is an instance of hiring and an agent is an instance of organization and the agent is an agent of the process and an entity is a patient of the process, then the entity is not a member of the agent holds during the beginning of the time of existence of the process and the entity is a member of the agent holds during the end of the time of existence of the process
(=> (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 10754-10766	If a process is an instance of hiring and a cognitive agent is an instance of organization and the cognitive agent is an agent of the process and an entity is a patient of the process, then the cognitive agent expects there exists another entity such that the other entity is an instance of financial transaction and the cognitive agent is an agent of the other entity and the other entity ends up at the entity and the time of existence of the process happens earlier than the time of existence of the other entity will be true
(=> (and (instance ?JOIN Hiring) (instance ?ORG Organization) (agent ?JOIN ?ORG) (patient ?JOIN ?PERSON)) (holdsDuring (ImmediateFutureFn (WhenFn ?JOIN)) (employs ?ORG ?PERSON)))	Merge.kif 10743-10752	If a process is an instance of hiring and an agent is an instance of organization and the agent is an agent of the process and an entity is a patient of the process, then the agent employs the entity holds during immediately after the time of existence of the process
(=> (and (instance ?JOIN JoiningAnOrganization) (instance ?AGENT AutonomousAgent) (agent ?JOIN ?AGENT) (patient ?JOIN ?ORG) (instance ?JOIN Organization)) (member ?AGENT ?ORG))	Government.kif 2462-2469	If a process is an instance of joining an organization and an agent is an instance of agent and the agent is an agent of the process and a collection is a patient of the process and the process is an instance of organization, then the agent is a member of the collection

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 10663-10672	If a process is an instance of organizational process and an agent is an agent of the process, then the agent is an instance of organization or there exists a collection such that the collection is an instance of organization and the agent is a member of the collection
(=> (and (instance ?AGENT AutonomousAgent) (subclass (ElectionFn ?AGENT) Election)) (or (instance ?AGENT Organization) (instance ?AGENT GeopoliticalArea)))	Government.kif 1654-1660	If an agent is an instance of agent and the election of the agent is a subclass of election, then the agent is an instance of organization or the agent is an instance of geopolitical area
(=> (and (instance ?ATTR IndustryAttribute) (attribute ?OBJ ?ATTR)) (instance ?OBJ Organization))	Media.kif 1884-1888	If an attribute is an instance of industry attribute and the attribute is an attribute of an object, then the object is an instance of organization
(=> (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 8248-8257	If an object is an instance of commercial unit and a physical is an instance of organization and the physical is located at the object, then there doesn't exist another physical such that the other physical is an instance of organization and the other physical is located at the object and the other physical is not equal to the physical
(=> (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 13477-13488	If a process is an instance of war and an agent is an agent of the process, then the agent is an instance of geopolitical area or the agent is an instance of organization and for all a physical if the physical is a member of the agent, then the physical is an instance of geopolitical area
(=> (attribute ?X BusinessExecutive) (exists (?BUSINESS ?MANAGE) (and (instance ?MANAGE Managing) (instance ?BUSINESS Organization) (patient ?MANAGE ?BUSINESS) (agent ?MANAGE ?X))))	Mid-level-ontology.kif 23820-23827	If business executive is an attribute of an agent, then there exist an entity and a process such that the process is an instance of managing and the entity is an instance of organization and the entity is a patient of the process and the agent is an agent of the process
(=> (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 22358-22366	If a human directed a motion picture, then there exist a process and an agent such that the process is an instance of film making and the agent is an instance of organization and the human is a leader of the agent and the agent is an agent of the process and the motion picture is a result of the process
(=> (economyType ?AGENT ?ATTRIBUTE) (or (instance ?AGENT GeopoliticalArea) (instance ?AGENT Organization)))	Economy.kif 91-95	If an economic attribute is an economy type of an agent, then the agent is an instance of geopolitical area or the agent is an instance of organization
(=> (equal ?FY (FiscalYearFn ?PLACE)) (or (instance ?PLACE GeopoliticalArea) (instance ?PLACE Organization)))	Economy.kif 4041-4045	If a kind of time interval is equal to the fiscal year of an agent, then the agent is an instance of geopolitical area or the agent is an instance of organization
(=> (equal ?FY (FiscalYearStartingFn ?PLACE ?YEAR)) (or (instance ?PLACE GeopoliticalArea) (instance ?PLACE Organization)))	Economy.kif 4069-4073	If a time interval is equal to the fiscal year starting of an agent and a kind of year, then the agent is an instance of geopolitical area or the agent is an instance of organization
(=> (executiveBranch ?BRANCH ?AGENT) (or (instance ?BRANCH GeopoliticalArea) (instance ?BRANCH Organization)))	Government.kif 1251-1255	If an agent is an executive branch of an organization, then the organization is an instance of geopolitical area or the organization is an instance of organization
(=> (governmentType ?AGENT ?TYPE) (or (instance ?AGENT Organization) (instance ?AGENT GeopoliticalArea)))	Government.kif 136-140	If a form of government is a government type of an agent, then the agent is an instance of organization or the agent is an instance of geopolitical area
(=> (holdsDuring ?T1 (coworker ?H1 ?H2)) (exists (?ORG) (and (instance ?ORG Organization) (holdsDuring ?T1 (and (employs ?ORG ?H1) (employs ?ORG ?H2))))))	Mid-level-ontology.kif 24625-24634	If an entity is a coworker of another entity holds during a time position, then there exists a third entity such that the third entity is an instance of organization and the third entity employs the other entity and the third entity employs the entity holds during the time position
(=> (instance ?BU BuildingUnit) (exists (?O ?B) (and (instance ?B Building) (instance ?O Organization) (part ?BU ?B) (workLocation ?O ?BU))))	Mid-level-ontology.kif 22186-22193	If a stationary artifact is an instance of building unit, then there exist an organization and an object such that the object is an instance of building and the organization is an instance of organization and the stationary artifact is a part of the object and members of the organization work at the stationary artifact
(=> (instance ?CS CustomerSupport) (exists (?ORG) (and (instance ?ORG Organization) (businessUnit ?CS ?ORG))))	UXExperimentalTerms.kif 2788-2793	If an organization is an instance of customer support, then there exists a business such that the business is an instance of organization and the organization is a business unit of the business
(=> (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	If a physical is an instance of customer support, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of cognitive agent and the other entity is an instance of cognitive agent and the third entity is an instance of organization and the physical is a business unit of the third entity and the entity is a member of the physical and the entity customer representative the other entity for the third entity
(=> (instance ?DC DrugCandidate) (exists (?O) (and (instance ?O Organization) (hasPurposeForAgent ?DC (instance ?DC Medicine) ?O))))	Medicine.kif 3090-3097	If a physical is an instance of drug candidate, then there exists an agent such that the agent is an instance of organization and the physical has the purpose the physical is an instance of medicine for the agent
(=> (instance ?FOUND Founding) (exists (?ORG) (and (instance ?ORG Organization) (result ?FOUND ?ORG))))	Mid-level-ontology.kif 928-933	If a process is an instance of founding, then there exists an entity such that the entity is an instance of organization and the entity is a result of the process
(=> (instance ?N BroadcastNetwork) (exists (?O) (and (instance ?O Organization) (forall (?M) (=> (member ?M ?N) (possesses ?O ?M))))))	Communications.kif 414-422	If a collection is an instance of broadcast network, then there exists an agent such that the agent is an instance of organization and for all an object if the object is a member of the collection, then the agent possesses the object
(=> (instance ?RESOLUTION Resolution) (exists (?AGENT ?MEETING) (and (instance ?AGENT Organization) (agent ?RESOLUTION ?AGENT) (subProcess ?RESOLUTION ?MEETING) (instance ?MEETING FormalMeeting))))	Mid-level-ontology.kif 17465-17472	If a process is an instance of resolution, then there exist an agent and another process such that the agent is an instance of organization and the agent is an agent of the process and the process is a subprocess of the other process and the other process is an instance of formal meeting
(=> (judicialBranch ?BRANCH ?AGENT) (or (instance ?BRANCH GeopoliticalArea) (instance ?BRANCH Organization)))	Government.kif 2064-2068	If an agent is a judicial branch of an organization, then the organization is an instance of geopolitical area or the organization is an instance of organization
(=> (legislativeBranch ?ORG ?AGENT) (or (instance ?AGENT Organization) (instance ?AGENT GeopoliticalArea)))	Government.kif 1969-1973	If an agent is a legislative branch of an organization, then the agent is an instance of organization or the agent is an instance of geopolitical area
(=> (suffrageAgeMaximum ?AGENT ?AGE) (or (instance ?AGENT Organization) (instance ?AGENT GeopoliticalArea)))	Government.kif 985-989	If a time duration is a suffrage age maximum of the time durationNT, then the time durationNT is an instance of organization or the time durationNT is an instance of geopolitical area
(=> (suffrageAgeMinimum ?AGENT ?AGE) (or (instance ?AGENT Organization) (instance ?AGENT GeopoliticalArea)))	Government.kif 913-917	If a time duration is a suffrage age minimum of the time durationNT, then the time durationNT is an instance of organization or the time durationNT is an instance of geopolitical area

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: