Government - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Government ChineseLanguage "这是一个 GeopoliticalArea 的管治机构。")	Merge.kif 21345-21345
(documentation Government EnglishLanguage "The ruling body of a GeopoliticalArea.")	Merge.kif 21344-21344
(subclass Government GovernmentOrganization)	Merge.kif 21339-21339	政府は GovernmentOrganization の subclass では %n
(subclass Government LegalAgent)	Merge.kif 21342-21342	政府は LegalAgent の subclass では %n

appearance as argument number 2

(instance USStateDepartment Government)	Government.kif 2332-2332	USStateDepartment は政府の instance では %n
(range GovernmentFn Government)	Merge.kif 21350-21350	GovernmentFn の range は政府のインスタンスでは %n
(subclass CityGovernment Government)	Mid-level-ontology.kif 8034-8034	CityGovernment は政府の subclass では %n
(subclass FederalHousingAdministration Government)	FinancialOntology.kif 1494-1494	FederalHousingAdministration は政府の subclass では %n
(subclass NationalGovernment Government)	Government.kif 103-103	NationalGovernment は政府の subclass では %n
(subclass StateGovernment Government)	Mid-level-ontology.kif 8014-8014	StateGovernment は政府の subclass では %n
(termFormat ChineseLanguage Government "政府")	chinese_format.kif 1070-1070	termFormat ChineseLanguage, 政府 and "政府"
(termFormat EnglishLanguage Government "government")	english_format.kif 1913-1913	termFormat EnglishLanguage, 政府 and "government"
(termFormat JapaneseLanguage Government "政府")	english_format.kif 1914-1914	termFormat JapaneseLanguage, 政府 and "政府"

consequent

(<=> (instance ?ORG GovernmentOrganization) (exists (?GOV) (and (instance ?GOV Government) (subOrganization ?ORG ?GOV))))	Merge.kif 21326-21331	組織は GovernmentOrganization の instance では %n 組織組織は政府の instance では %n 組織は組織組織の part では %n
(<=> (instance ?ORG GovernmentOrganization) (or (instance ?ORG Government) (exists (?GOV) (and (instance ?GOV Government) (subOrganization ?ORG ?GOV)))))	Government.kif 108-115	組織は GovernmentOrganization の instance では %n 組織は政府の instance では %n 組織組織は政府の instance では %n 組織は組織組織の part では %n
(=> (and (instance ?ATTRIBUTE PoliticoEconomicAttribute) (attribute ?GOVERNMENT ?ATTRIBUTE)) (instance ?GOVERNMENT Government))	Mid-level-ontology.kif 17322-17326	エンティティーは PoliticoEconomicAttribute の instance では %n エンティティーはオブジェクトの attribute では %n オブジェクトは政府の instance では %n
(=> (and (instance ?S SeizingProperty) (destination ?S ?A) (origin ?S ?V) (instance ?V CognitiveAgent)) (and (instance ?A Government) (not (confersNorm ?V (destination ?S ?A) Permission))))	Mid-level-ontology.kif 16283-16294	工程は SeizingProperty の instance では %n 工程はエンティティーに ends %n{ない} 工程はオブジェクトから originates %n{ない} オブジェクトは認識エージェントの instance では %n エンティティーは政府の instance では %n confersNorm オブジェクト, 工程はエンティティーに end ない and Permission
(=> (attribute ?X PoliticalFigure) (exists (?GOV) (and (instance ?GOV Government) (or (member ?X ?GOV) (desires ?X (member ?X ?GOV))))))	Mid-level-ontology.kif 20405-20413	PoliticalFigure は認識エージェントの attribute では %n コレクションコレクションは政府の instance では %n 認識エージェントはコレクションの member では %n 認識エージェントが認識エージェントはコレクションの member では %n を desires %n{ない}
(=> (holdsDuring ?T1 (attribute ?X GovernmentPerson)) (exists (?GOV) (and (instance ?GOV Government) (holdsDuring ?T1 (employs ?GOV ?X)))))	Mid-level-ontology.kif 20283-20288	GovernmentPerson はエンティティーの attribute では %n は時間位置の during holds %n{ない} エンティティーエンティティーは政府の instance では %n エンティティーはエンティティーを employs %n{ない} は時間位置の during holds %n{ない}
(=> (instance ?Bond GovernmentBond) (exists (?Agent) (and (issuedBy ?Bond ?Agent) (instance ?Agent Government))))	FinancialOntology.kif 2356-2361	証明書は GovernmentBond の instance では %n 認識エージェント issuedBy 証明書 and 認識エージェント認識エージェントは政府の instance では %n
(=> (instance ?Bond MunicipalBond) (exists (?Agent) (and (instance ?Agent Government) (issuedBy ?Bond ?Agent))))	FinancialOntology.kif 2290-2295	証明書は MunicipalBond の instance では %n 認識エージェント認識エージェントは政府の instance では %n issuedBy 証明書 and 認識エージェント
(=> (instance ?Bond TreasuryBond) (exists (?Agent) (and (issuedBy ?Bond ?Agent) (instance ?Agent Government))))	FinancialOntology.kif 2389-2394	証明書は TreasuryBond の instance では %n 認識エージェント issuedBy 証明書 and 認識エージェント認識エージェントは政府の instance では %n
(=> (instance ?CHARGE LegalCharge) (exists (?GOV) (and (instance ?GOV Government) (agent ?CHARGE ?GOV))))	Mid-level-ontology.kif 13765-13770	工程は LegalCharge の instance では %n 代理(人) 代理(人) は政府の instance では %n 代理(人) は工程の agent では %n
(=> (instance ?E Execution) (exists (?G) (and (instance ?G Government) (agent ?E ?G))))	Mid-level-ontology.kif 15954-15959	工程は Execution の instance では %n 代理(人) 代理(人) は政府の instance では %n 代理(人) は工程の agent では %n
(=> (instance ?Mortgage ConventionalMortgage) (not (exists (?Government) (and (instance ?Government Government) (insured ?Mortgage ?Government)))))	FinancialOntology.kif 1500-1505	命題は ConventionalMortgage の instance では %n 組織組織は政府の instance では %n insured 命題 and 組織
(=> (instance ?ORG ServiceOrganization) (exists (?PROC ?GOV) (and (instance ?PROC RegulatoryProcess) (patient ?PROC ?ORG) (agent ?PROC ?GOV) (instance ?GOV Government))))	Mid-level-ontology.kif 8177-8184	エンティティーは ServiceOrganization の instance では %n 工程代理(人) 工程は規制プロセスの instance では %n エンティティーは工程の patient では %n 代理(人) は工程の agent では %n 代理(人) は政府の instance では %n
(=> (instance ?P Prison) (hasPurpose ?P (exists (?C ?H ?G) (and (instance ?C Confining) (eventLocated ?C ?P) (patient ?C ?H) (instance ?H Human) (agent ?C ?G) (instance ?G Government)))))	Mid-level-ontology.kif 6428-6438	物理は Prison の instance では %n 物理はエンティティーエンティティー and エンティティーエンティティーは閉じ込めの instance では %n eventLocated エンティティー and 物理エンティティーはエンティティーの patient では %n エンティティーは人［人間］の instance では %n エンティティーはエンティティーの agent では %n エンティティーは政府の instance では %n の目的 %n{ない}
(=> (instance ?P PublicPark) (exists (?G) (and (instance ?G Government) (possesses ?G ?P))))	Mid-level-ontology.kif 7863-7868	オブジェクトは PublicPark の instance では %n 代理(人) 代理(人) は政府の instance では %n 代理(人) はオブジェクトを possesses %n{ない}
(=> (instance ?PARK Park) (exists (?GOV) (and (instance ?GOV Government) (possesses ?GOV ?PARK))))	Mid-level-ontology.kif 7844-7849	オブジェクトは Park の instance では %n 代理(人) 代理(人) は政府の instance では %n 代理(人) はオブジェクトを possesses %n{ない}
(=> (instance ?PROC PoliticalProcess) (exists (?POL) (and (or (instance ?POL Government) (exists (?GOV) (and (instance ?GOV Government) (member ?POL ?GOV)))) (or (agent ?PROC ?POL) (patient ?PROC ?POL)))))	Merge.kif 14703-14715	工程は政治的プロセスの instance では %n 代理(人) 代理(人) は政府の instance では %n コレクションコレクションは政府の instance では %n 代理(人) はコレクションの member では %n 代理(人) は工程の agent では %n 代理(人) は工程の patient では %n
(=> (instance ?S Espionage) (exists (?GOV1 ?GOV2) (and (instance ?GOV1 Government) (instance ?GOV2 Government) (agent ?S ?GOV1) (patient ?S ?GOV2) (not (equal ?GOV1 ?GOV2)))))	Mid-level-ontology.kif 11541-11550	工程は Espionage の instance では %n 代理(人) エンティティー代理(人) は政府の instance では %n エンティティーは政府の instance では %n 代理(人) は工程の agent では %n エンティティーは工程の patient では %n 代理(人) はエンティティーと equal では
(=> (instance ?Tax Tax) (exists (?Org) (and (instance ?Org Government) (agent ?Tax ?Org))))	FinancialOntology.kif 867-872	工程は Tax の instance では %n 代理(人) 代理(人) は政府の instance では %n 代理(人) は工程の agent では %n
(=> (instance ?X GovernmentBuilding) (exists (?G) (and (instance ?G Government) (possesses ?G ?X))))	Mid-level-ontology.kif 20274-20279	オブジェクトは GovernmentBuilding の instance では %n 代理(人) 代理(人) は政府の instance では %n 代理(人) はオブジェクトを possesses %n{ない}

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: