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 12014-12026	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 10486-10486	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 6618-6618	Punching ist eine teilkategorie von IntentionalProcess
(subclass Ceremony IntentionalProcess)	Mid-level-ontology.kif 7920-7920	Ceremony ist eine teilkategorie von IntentionalProcess
(subclass Ducking IntentionalProcess)	Mid-level-ontology.kif 13118-13118	Ducking ist eine teilkategorie von IntentionalProcess
(subclass CriminalAction IntentionalProcess)	Mid-level-ontology.kif 13859-13859	CriminalAction ist eine teilkategorie von IntentionalProcess
(subclass Commenting IntentionalProcess)	Mid-level-ontology.kif 15882-15882	Commenting ist eine teilkategorie von IntentionalProcess
(subclass Digging IntentionalProcess)	Mid-level-ontology.kif 18007-18007	Digging ist eine teilkategorie von IntentionalProcess
(subclass Tilling IntentionalProcess)	Mid-level-ontology.kif 18021-18021	Tilling ist eine teilkategorie von IntentionalProcess
(subclass Drilling IntentionalProcess)	Mid-level-ontology.kif 18094-18094	Drilling ist eine teilkategorie von IntentionalProcess
(subclass WorkLeave IntentionalProcess)	Mid-level-ontology.kif 20422-20422	WorkLeave ist eine teilkategorie von IntentionalProcess
(subclass IntentionalPsychologicalProcess IntentionalProcess)	Merge.kif 10512-10512	IntentionalPsychologicalProcess ist eine teilkategorie von IntentionalProcess
(subclass RecreationOrExercise IntentionalProcess)	Merge.kif 10523-10523	RecreationOrExercise ist eine teilkategorie von IntentionalProcess
(subclass OrganizationalProcess IntentionalProcess)	Merge.kif 10535-10535	OrganizationalProcess ist eine teilkategorie von IntentionalProcess
(subclass Designing IntentionalProcess)	Merge.kif 10850-10850	Designing ist eine teilkategorie von IntentionalProcess
(subclass Ambulating IntentionalProcess)	Merge.kif 11139-11139	Ambulating ist eine teilkategorie von IntentionalProcess
(subclass Swimming IntentionalProcess)	Merge.kif 11169-11169	Swimming ist eine teilkategorie von IntentionalProcess
(subclass Guiding IntentionalProcess)	Merge.kif 11607-11607	Guiding ist eine teilkategorie von IntentionalProcess
(subclass Keeping IntentionalProcess)	Merge.kif 12174-12174	Keeping ist eine teilkategorie von IntentionalProcess
(subclass Maintaining IntentionalProcess)	Merge.kif 12219-12219	Maintaining ist eine teilkategorie von IntentionalProcess
(subclass Repairing IntentionalProcess)	Merge.kif 12223-12223	Repairing ist eine teilkategorie von IntentionalProcess
(subclass Poking IntentionalProcess)	Merge.kif 12331-12331	Poking ist eine teilkategorie von IntentionalProcess
(subclass ContentDevelopment IntentionalProcess)	Merge.kif 12671-12671	ContentDevelopment ist eine teilkategorie von IntentionalProcess
(subclass Making IntentionalProcess)	Merge.kif 12813-12813	Making ist eine teilkategorie von IntentionalProcess
(subclass Pursuing IntentionalProcess)	Merge.kif 12874-12874	Pursuing ist eine teilkategorie von IntentionalProcess
(subclass Investigating IntentionalProcess)	Merge.kif 12923-12923	Investigating ist eine teilkategorie von IntentionalProcess
(subclass SocialInteraction IntentionalProcess)	Merge.kif 12999-12999	SocialInteraction ist eine teilkategorie von IntentionalProcess
(subclass Maneuver IntentionalProcess)	Merge.kif 13385-13385	Maneuver ist eine teilkategorie von IntentionalProcess
(subclass Looking IntentionalProcess)	Merge.kif 13553-13553	Looking ist eine teilkategorie von IntentionalProcess
(subclass Listening IntentionalProcess)	Merge.kif 13627-13627	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