Sigma KB Term Intersection

(=> (and (attribute ?H1 ADHD) (not (attribute ?H2 ADHD)) (not (equal ?H1 ?H2)) (instance ?I1 ?IC) (instance ?I2 ?IC) (subclass ?IC IntentionalPsychologicalProcess) (agent ?I1 ?H1) (agent ?I2 ?H2) (duration (WhenFn ?I1) ?D1) (duration (WhenFn ?I2) ?D2)) (modalAttribute (greaterThan ?D2 ?D1) Likely))	Medicine.kif 3984-4004	Wenn ADHD ist ein attribut von AutonomousAgent %n{nicht} und ADHD ist ein attribut von AutonomousAgent nicht und AutonomousAgent ist gleich AutonomousAgent nicht und Process ist ein fall von Class %n{nicht} und Process ist ein fall von Class %n{nicht} und Class ist eine teilkategorie von IntentionalPsychologicalProcess und Process ist der agent von AutonomousAgent %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und dauer von die zeit des Bestehens von Process ist TimeDuration %n{nicht} und dauer von die zeit des Bestehens von Process ist TimeDuration %n{nicht}, dann die Aussage TimeDuration ist groesserAls TimeDuration %n{nicht} hat die modale Kraft von Likely
(subclass IntentionalPsychologicalProcess IntentionalProcess)	Merge.kif 10512-10512	IntentionalPsychologicalProcess ist eine teilkategorie von IntentionalProcess
(subclass IntentionalPsychologicalProcess PsychologicalProcess)	Merge.kif 10513-10513	IntentionalPsychologicalProcess ist eine teilkategorie von PsychologicalProcess
(subclass Planning IntentionalPsychologicalProcess)	Merge.kif 10835-10835	Planning ist eine teilkategorie von IntentionalPsychologicalProcess
(subclass Interpreting IntentionalPsychologicalProcess)	Merge.kif 10858-10858	Interpreting ist eine teilkategorie von IntentionalPsychologicalProcess
(subclass Learning IntentionalPsychologicalProcess)	Merge.kif 11939-11939	Learning ist eine teilkategorie von IntentionalPsychologicalProcess
(subclass Discovering IntentionalPsychologicalProcess)	Merge.kif 11958-11958	Discovering ist eine teilkategorie von IntentionalPsychologicalProcess
(subclass Classifying IntentionalPsychologicalProcess)	Merge.kif 11984-11984	Classifying ist eine teilkategorie von IntentionalPsychologicalProcess
(subclass Reasoning IntentionalPsychologicalProcess)	Merge.kif 11992-11992	Reasoning ist eine teilkategorie von IntentionalPsychologicalProcess
(subclass Selecting IntentionalPsychologicalProcess)	Merge.kif 12001-12001	Selecting ist eine teilkategorie von IntentionalPsychologicalProcess
(subclass Comparing IntentionalPsychologicalProcess)	Merge.kif 12108-12108	Comparing ist eine teilkategorie von IntentionalPsychologicalProcess
(subclass Calculating IntentionalPsychologicalProcess)	Merge.kif 12114-12114	Calculating ist eine teilkategorie von IntentionalPsychologicalProcess
(subclass Predicting IntentionalPsychologicalProcess)	Merge.kif 12144-12144	Predicting ist eine teilkategorie von IntentionalPsychologicalProcess
(subclass AppraisalProcess IntentionalPsychologicalProcess)	emotion.kif 48-48	AppraisalProcess ist eine teilkategorie von IntentionalPsychologicalProcess

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