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 (instance ?PLACE AutonomousAgent) (subclass ?YEAR Year)) (instance (FiscalYearStartingFn ?PLACE ?YEAR) (FiscalYearFn ?PLACE)))	Economy.kif 3738-3742	Wenn AutonomousAgent ist ein fall von AutonomousAgent %n{nicht} und Year ist eine teilkategorie von Year, dann FiscalYearStartingFn AutonomousAgent and Year ist ein fall von FiscalYearFn AutonomousAgent %n{nicht}
(=> (and (trafficableForTrafficType ?place ?type) (subclass ?type AutonomousAgent) (instance ?mover ?type)) (capableAtLocation Translocation agent ?mover ?place))	Transportation.kif 2617-2622	Wenn trafficableForTrafficType Region and SelfConnectedObject und SelfConnectedObject ist eine teilkategorie von AutonomousAgent und Object ist ein fall von SelfConnectedObject %n{nicht}, dann capableAtLocation Translocation, agent, Object and Region
(=> (and (instance ?PROCESS ?PROCESS_CLASS) (subclass ?PROCESS_CLASS Process) (instance ?ACCESSING AccessingWebPage) (instance ?AGENT AutonomousAgent) (agent ?PROCESS ?AGENT) (agent ?ACCESSING ?AGENT) (during ?PROCESS ?ACCESSING) (instance ?TIMETOFIRST TimeInterval) (not (exists (?PROCESS2) (and (instance ?PROCESS2 ?PROCESS_CLASS) (agent ?PROCESS2 ?AGENT) (during ?PROCESS2 ?ACCESSING) (before (BeginFn (WhenFn ?PROCESS2)) (BeginFn (WhenFn ?PROCESS)))))) (equal (BeginFn (WhenFn ?ACCESSING)) (BeginFn (WhenFn ?TIMETOFIRST))) (equal (BeginFn (WhenFn ?PROCESS)) (EndFn (WhenFn ?TIMETOFIRST)))) (equal (TTFxFn ?PROCESS_CLASS ?ACCESSING) ?TIMETOFIRST))	UXExperimentalTerms.kif 1496-1518	Wenn TimeInterval ist ein fall von TimeInterval_CLASS %n{nicht} und TimeInterval_CLASS ist eine teilkategorie von Process und AccessingWebPage ist ein fall von AccessingWebPage %n{nicht} und AutonomousAgent ist ein fall von AutonomousAgent %n{nicht} und TimeInterval ist der agent von AutonomousAgent %n{nicht} und AccessingWebPage ist der agent von AutonomousAgent %n{nicht} und TimeInterval geschieht waehrend AccessingWebPage %n{nicht} und Physical ist ein fall von TimeInterval %n{nicht} und es gibt nicht TimeInterval2 um TimeInterval2 ist ein fall von TimeInterval_CLASS %n{nicht} und TimeInterval2 ist der agent von AutonomousAgent %n{nicht} und TimeInterval2 geschieht waehrend AccessingWebPage %n{nicht} und der anfang von die zeit des Bestehens von TimeInterval2 geschieht vor der anfang von die zeit des Bestehens von TimeInterval %n{nicht} und der anfang von die zeit des Bestehens von AccessingWebPage ist gleich der anfang von die zeit des Bestehens von Physical %n{nicht} und der anfang von die zeit des Bestehens von TimeInterval ist gleich das ende von die zeit des Bestehens von Physical %n{nicht}, dann TTFxFn TimeInterval_CLASS and AccessingWebPage ist gleich Physical %n{nicht}
(subclass AutonomousAgent Object)	Merge.kif 1556-1556	AutonomousAgent ist eine teilkategorie von Object
(subclass SentientAgent AutonomousAgent)	Merge.kif 1566-1566	SentientAgent ist eine teilkategorie von AutonomousAgent
(subclass GeopoliticalArea AutonomousAgent)	Merge.kif 14054-14054	GeopoliticalArea ist eine teilkategorie von AutonomousAgent
(subclass Organism AutonomousAgent)	Merge.kif 14355-14355	Organism ist eine teilkategorie von AutonomousAgent
(subclass CommercialAgent AutonomousAgent)	Merge.kif 16173-16173	CommercialAgent ist eine teilkategorie von AutonomousAgent
(subclass Group AutonomousAgent)	Merge.kif 16224-16224	Group ist eine teilkategorie von AutonomousAgent
(subclass Organization AutonomousAgent)	Merge.kif 16610-16610	Organization ist eine teilkategorie von AutonomousAgent
(subclass ITAgent AutonomousAgent)	engineering.kif 1306-1306	ITAgent ist eine teilkategorie von AutonomousAgent

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