Sigma KB Term Intersection

(=> (and (instance ?DECIDE Deciding) (agent ?DECIDE ?AGENT) (instance ?S Set) (patient ?DECIDE ?S) (element ?M ?S)) (believes ?AGENT (exists (?CLASS) (and (instance ?M ?CLASS) (subclass ?CLASS IntentionalProcess) (capability ?CLASS agent ?AGENT)))))	Merge.kif 12036-12048	Wenn Process ist ein fall von Deciding %n{nicht} und Process ist der agent von CognitiveAgent %n{nicht} und Set ist ein fall von Set %n{nicht} und Set ist ein patient von Process %n{nicht} und Entity ist ein element von Set %n{nicht}, dann CognitiveAgent glaubt %n{nicht}, dass es gibt entity um Entity ist ein fall von entity %n{nicht} und entity ist eine teilkategorie von IntentionalProcess und CognitiveAgent ist faehig %n{nicht}, in der Rolle agent entity zu tun
(subclass IntentionalProcess Process)	Merge.kif 10508-10508	IntentionalProcess ist eine teilkategorie von Process
(subclass DeployingWeaponOfMassDestruction IntentionalProcess)	WMD.kif 675-675	DeployingWeaponOfMassDestruction ist eine teilkategorie von IntentionalProcess
(subclass DismantlingWeaponOfMassDestruction IntentionalProcess)	WMD.kif 731-731	DismantlingWeaponOfMassDestruction ist eine teilkategorie von IntentionalProcess
(subclass ListOnSite IntentionalProcess)	UXExperimentalTerms.kif 257-257	ListOnSite ist eine teilkategorie von IntentionalProcess
(subclass Evacuation IntentionalProcess)	MilitaryProcesses.kif 2489-2489	Evacuation ist eine teilkategorie von IntentionalProcess
(subclass Dodging IntentionalProcess)	Mid-level-ontology.kif 446-446	Dodging ist eine teilkategorie von IntentionalProcess
(subclass Punching IntentionalProcess)	Mid-level-ontology.kif 6617-6617	Punching ist eine teilkategorie von IntentionalProcess
(subclass Ceremony IntentionalProcess)	Mid-level-ontology.kif 7919-7919	Ceremony ist eine teilkategorie von IntentionalProcess
(subclass Ducking IntentionalProcess)	Mid-level-ontology.kif 13117-13117	Ducking ist eine teilkategorie von IntentionalProcess
(subclass CriminalAction IntentionalProcess)	Mid-level-ontology.kif 13858-13858	CriminalAction ist eine teilkategorie von IntentionalProcess
(subclass Commenting IntentionalProcess)	Mid-level-ontology.kif 15881-15881	Commenting ist eine teilkategorie von IntentionalProcess
(subclass Digging IntentionalProcess)	Mid-level-ontology.kif 18006-18006	Digging ist eine teilkategorie von IntentionalProcess
(subclass Tilling IntentionalProcess)	Mid-level-ontology.kif 18020-18020	Tilling ist eine teilkategorie von IntentionalProcess
(subclass Drilling IntentionalProcess)	Mid-level-ontology.kif 18093-18093	Drilling ist eine teilkategorie von IntentionalProcess
(subclass WorkLeave IntentionalProcess)	Mid-level-ontology.kif 20421-20421	WorkLeave ist eine teilkategorie von IntentionalProcess
(subclass IntentionalPsychologicalProcess IntentionalProcess)	Merge.kif 10534-10534	IntentionalPsychologicalProcess ist eine teilkategorie von IntentionalProcess
(subclass RecreationOrExercise IntentionalProcess)	Merge.kif 10545-10545	RecreationOrExercise ist eine teilkategorie von IntentionalProcess
(subclass OrganizationalProcess IntentionalProcess)	Merge.kif 10557-10557	OrganizationalProcess ist eine teilkategorie von IntentionalProcess
(subclass Designing IntentionalProcess)	Merge.kif 10872-10872	Designing ist eine teilkategorie von IntentionalProcess
(subclass Ambulating IntentionalProcess)	Merge.kif 11161-11161	Ambulating ist eine teilkategorie von IntentionalProcess
(subclass Swimming IntentionalProcess)	Merge.kif 11191-11191	Swimming ist eine teilkategorie von IntentionalProcess
(subclass Guiding IntentionalProcess)	Merge.kif 11629-11629	Guiding ist eine teilkategorie von IntentionalProcess
(subclass Keeping IntentionalProcess)	Merge.kif 12196-12196	Keeping ist eine teilkategorie von IntentionalProcess
(subclass Maintaining IntentionalProcess)	Merge.kif 12241-12241	Maintaining ist eine teilkategorie von IntentionalProcess
(subclass Repairing IntentionalProcess)	Merge.kif 12245-12245	Repairing ist eine teilkategorie von IntentionalProcess
(subclass Poking IntentionalProcess)	Merge.kif 12353-12353	Poking ist eine teilkategorie von IntentionalProcess
(subclass ContentDevelopment IntentionalProcess)	Merge.kif 12693-12693	ContentDevelopment ist eine teilkategorie von IntentionalProcess
(subclass Making IntentionalProcess)	Merge.kif 12835-12835	Making ist eine teilkategorie von IntentionalProcess
(subclass Pursuing IntentionalProcess)	Merge.kif 12896-12896	Pursuing ist eine teilkategorie von IntentionalProcess
(subclass Investigating IntentionalProcess)	Merge.kif 12945-12945	Investigating ist eine teilkategorie von IntentionalProcess
(subclass SocialInteraction IntentionalProcess)	Merge.kif 13021-13021	SocialInteraction ist eine teilkategorie von IntentionalProcess
(subclass Maneuver IntentionalProcess)	Merge.kif 13407-13407	Maneuver ist eine teilkategorie von IntentionalProcess
(subclass Looking IntentionalProcess)	Merge.kif 13575-13575	Looking ist eine teilkategorie von IntentionalProcess
(subclass Listening IntentionalProcess)	Merge.kif 13649-13649	Listening ist eine teilkategorie von IntentionalProcess
(subclass Modeling IntentionalProcess)	engineering.kif 114-114	Modeling ist eine teilkategorie von IntentionalProcess
(subclass EngineersSubprocess IntentionalProcess)	engineering.kif 1197-1197	EngineersSubprocess ist eine teilkategorie von IntentionalProcess
(subclass ITProcess IntentionalProcess)	engineering.kif 1310-1310	ITProcess ist eine teilkategorie von IntentionalProcess
(subclass UserAction IntentionalProcess)	ComputerInput.kif 1167-1167	UserAction ist eine teilkategorie von IntentionalProcess

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