Sigma KB Term Intersection

(=> (and (vegetationType ?REGION ?TYPE) (subclass ?TYPE Plant) (instance ?REGION GeographicArea)) (exists (?PLANT) (and (instance ?PLANT ?TYPE) (located ?PLANT ?REGION))))	Geography.kif 6191-6199	Wenn vegetationType GeographicArea and Plant und Plant ist eine teilkategorie von Plant und GeographicArea ist ein fall von GeographicArea %n{nicht}, dann es gibt Physical um Physical ist ein fall von Plant %n{nicht} und ** Physical befindet sich an %n{nicht}
(=> (and (subclass ?TYPE Process) (instance ?EVENT ?TYPE) (eventLocated ?EVENT ?REGION) (instance ?ROLE CaseRole) (instance ?OBJECT Object) (instance ?REGION GeographicArea) (?ROLE ?EVENT ?OBJECT)) (capableAtLocation ?TYPE ?ROLE ?OBJECT ?REGION))	Transportation.kif 2692-2701	Wenn Process ist eine teilkategorie von Process und Process ist ein fall von Process %n{nicht} und eventLocated Process and Region und CaseRole ist ein fall von CaseRole %n{nicht} und Object ist ein fall von Object %n{nicht} und Region ist ein fall von GeographicArea %n{nicht} und CaseRole Process and Object, dann capableAtLocation Process, CaseRole, Object and ** Region
(=> (and (not (vegetationType ?REGION ?TYPE)) (subclass ?TYPE Plant) (instance ?REGION GeographicArea)) (not (exists (?PLANT) (and (instance ?PLANT ?TYPE) (located ?PLANT ?REGION)))))	Geography.kif 6201-6209	Wenn vegetationType GeographicArea and Plant und Plant ist eine teilkategorie von Plant und GeographicArea ist ein fall von GeographicArea %n{nicht}, dann es gibt nicht Physical um Physical ist ein fall von Plant %n{nicht} und ** Physical befindet sich an %n{nicht}
(subclass GeographicArea Region)	Merge.kif 14031-14031	GeographicArea ist eine teilkategorie von Region
(subclass ParkingLot GeographicArea)	TransportDetail.kif 73-73	ParkingLot ist eine teilkategorie von GeographicArea
(subclass BusStop GeographicArea)	Transportation.kif 1985-1985	BusStop ist eine teilkategorie von GeographicArea
(subclass IllicitDrugMoneyLaunderingArea GeographicArea)	TransnationalIssues.kif 79-79	IllicitDrugMoneyLaunderingArea ist eine teilkategorie von GeographicArea
(subclass MilitaryFront GeographicArea)	Mid-level-ontology.kif 9014-9014	MilitaryFront ist eine teilkategorie von GeographicArea
(subclass Marketplace GeographicArea)	Mid-level-ontology.kif 22435-22435	Marketplace ist eine teilkategorie von GeographicArea
(subclass TouristSite GeographicArea)	Mid-level-ontology.kif 22612-22612	TouristSite ist eine teilkategorie von GeographicArea
(subclass Neighborhood GeographicArea)	Mid-level-ontology.kif 24657-24657	Neighborhood ist eine teilkategorie von GeographicArea
(subclass LocalizablePlace GeographicArea)	Merge.kif 14040-14040	LocalizablePlace ist eine teilkategorie von GeographicArea
(subclass GeopoliticalArea GeographicArea)	Merge.kif 14053-14053	GeopoliticalArea ist eine teilkategorie von GeographicArea
(subclass WaterArea GeographicArea)	Merge.kif 14120-14120	WaterArea ist eine teilkategorie von GeographicArea
(subclass LandArea GeographicArea)	Merge.kif 14153-14153	LandArea ist eine teilkategorie von GeographicArea
(subclass SurfaceGroundArea GeographicArea)	Geography.kif 562-562	SurfaceGroundArea ist eine teilkategorie von GeographicArea
(subclass WaterOnlyArea GeographicArea)	Geography.kif 587-587	WaterOnlyArea ist eine teilkategorie von GeographicArea
(subclass InternationalBorder GeographicArea)	Geography.kif 728-728	InternationalBorder ist eine teilkategorie von GeographicArea
(subclass Checkpoint GeographicArea)	Geography.kif 733-733	Checkpoint ist eine teilkategorie von GeographicArea
(subclass MaritimeClaimArea GeographicArea)	Geography.kif 1021-1021	MaritimeClaimArea ist eine teilkategorie von GeographicArea
(subclass GeologicalFault GeographicArea)	Geography.kif 2371-2371	GeologicalFault ist eine teilkategorie von GeographicArea
(subclass Ecosystem GeographicArea)	Geography.kif 2658-2658	Ecosystem ist eine teilkategorie von GeographicArea
(subclass Hemisphere GeographicArea)	Geography.kif 3462-3462	Hemisphere ist eine teilkategorie von GeographicArea
(subclass LandForm GeographicArea)	Geography.kif 3975-3975	LandForm ist eine teilkategorie von GeographicArea
(subclass UndergroundArea GeographicArea)	Geography.kif 3988-3988	UndergroundArea ist eine teilkategorie von GeographicArea
(subclass LakeRegion GeographicArea)	Geography.kif 5399-5399	LakeRegion ist eine teilkategorie von GeographicArea
(subclass LittoralZone GeographicArea)	Geography.kif 5768-5768	LittoralZone ist eine teilkategorie von GeographicArea
(subclass ArchipelagicArea GeographicArea)	Geography.kif 5851-5851	ArchipelagicArea ist eine teilkategorie von GeographicArea
(subclass Cave GeographicArea)	Geography.kif 6013-6013	Cave ist eine teilkategorie von GeographicArea
(subclass SubmergedLandArea GeographicArea)	Geography.kif 6067-6067	SubmergedLandArea ist eine teilkategorie von GeographicArea

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