Sigma KB Term Intersection

(=> (and (instance ?AGENT AutonomousAgent) (subclass (ElectionFn ?AGENT) Election)) (or (instance ?AGENT Organization) (instance ?AGENT GeopoliticalArea)))	Government.kif 1692-1698	Wenn AutonomousAgent ist ein fall von AutonomousAgent %n{nicht} und ElectionFn AutonomousAgent ist eine teilkategorie von Election, dann AutonomousAgent ist ein fall von Organization %n{nicht} oder ** AutonomousAgent ist ein fall von GeopoliticalArea %n{nicht}
(=> (and (attribute ?X DutyFree) (instance ?X Store)) (exists (?AREA ?OBJ ?O ?SELL) (and (instance ?AREA GeopoliticalArea) (located ?X ?AREA) (subclass ?O Object) (importCommodityType ?AREA ?O) (instance ?OBJ ?O) (instance ?SELL Selling) (patient ?SELL ?OBJ) (located ?SELL ?X))))	Hotel.kif 1478-1491	Wenn DutyFree ist ein attribut von Object %n{nicht} und Object ist ein fall von Store %n{nicht}, dann es gibt GeopoliticalArea, Entity,, , Object, and und Process um GeopoliticalArea ist ein fall von GeopoliticalArea %n{nicht} und Object befindet sich an %n{nicht} und Object ist eine teilkategorie von Object und importCommodityType GeopoliticalArea and Object und Entity ist ein fall von Object %n{nicht} und Process ist ein fall von Selling %n{nicht} und Entity ist ein patient von Process %n{nicht} und ** Process befindet sich an %n{nicht}
(=> (and (instance ?REL EconomicRelation) (domain ?REL 1 ?CLASS)) (subclass ?CLASS GeopoliticalArea))	Mid-level-ontology.kif 16905-16909	Wenn Relation ist ein fall von EconomicRelation %n{nicht} und die Zahl 1 Argument von Relation ist ein fall von Class %n{nicht}, dann Class ist eine teilkategorie von GeopoliticalArea
(=> (and (instance ?GEO (GeographicPartTypeFn ?TYPE ?AREA)) (subclass ?TYPE GeopoliticalArea) (instance ?AREA GeopoliticalArea)) (geopoliticalSubdivision ?GEO ?AREA))	Geography.kif 6931-6936	Wenn GeopoliticalArea ist ein fall von GeographicPartTypeFn GeographicArea and GeopoliticalArea %n{nicht} und GeographicArea ist eine teilkategorie von GeopoliticalArea und GeopoliticalArea ist ein fall von GeopoliticalArea %n{nicht}, dann geopoliticalSubdivision GeopoliticalArea and GeopoliticalArea
(subclass GeopoliticalArea GeographicArea)	Merge.kif 14053-14053	GeopoliticalArea ist eine teilkategorie von GeographicArea
(subclass GeopoliticalArea AutonomousAgent)	Merge.kif 14054-14054	GeopoliticalArea ist eine teilkategorie von AutonomousAgent
(subclass PortFacility GeopoliticalArea)	Transportation.kif 938-938	PortFacility ist eine teilkategorie von GeopoliticalArea
(subclass IndependentState GeopoliticalArea)	Mid-level-ontology.kif 8009-8009	IndependentState ist eine teilkategorie von GeopoliticalArea
(subclass DependencyOrSpecialSovereigntyArea GeopoliticalArea)	Mid-level-ontology.kif 8017-8017	DependencyOrSpecialSovereigntyArea ist eine teilkategorie von GeopoliticalArea
(subclass CityDistrict GeopoliticalArea)	Mid-level-ontology.kif 8077-8077	CityDistrict ist eine teilkategorie von GeopoliticalArea
(subclass Nation GeopoliticalArea)	Merge.kif 14223-14223	Nation ist eine teilkategorie von GeopoliticalArea
(subclass StateOrProvince GeopoliticalArea)	Merge.kif 14230-14230	StateOrProvince ist eine teilkategorie von GeopoliticalArea
(subclass City GeopoliticalArea)	Merge.kif 14244-14244	City ist eine teilkategorie von GeopoliticalArea
(subclass County GeopoliticalArea)	Merge.kif 14251-14251	County ist eine teilkategorie von GeopoliticalArea
(subclass OverseasArea GeopoliticalArea)	Government.kif 487-487	OverseasArea ist eine teilkategorie von GeopoliticalArea
(subclass ParliamentaryTerritory GeopoliticalArea)	Government.kif 525-525	ParliamentaryTerritory ist eine teilkategorie von GeopoliticalArea
(subclass SelfGoverningTerritory GeopoliticalArea)	Government.kif 531-531	SelfGoverningTerritory ist eine teilkategorie von GeopoliticalArea

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