(=> (and (instance ?AGENT AutonomousAgent) (subclass (ElectionFn ?AGENT) Election)) (or (instance ?AGENT Organization) (instance ?AGENT GeopoliticalArea))) |
Government.kif 1692-1698 | |
(=> (and (instance ?PLACE AutonomousAgent) (subclass ?YEAR Year)) (instance (FiscalYearStartingFn ?PLACE ?YEAR) (FiscalYearFn ?PLACE))) |
Economy.kif 3738-3742 | |
(=> (and (trafficableForTrafficType ?place ?type) (subclass ?type AutonomousAgent) (instance ?mover ?type)) (capableAtLocation Translocation agent ?mover ?place)) |
Transportation.kif 2617-2622 | |
(=> (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 | |
(subclass AutonomousAgent Object) | Merge.kif 1556-1556 | |
(subclass SentientAgent AutonomousAgent) | Merge.kif 1566-1566 | |
(subclass GeopoliticalArea AutonomousAgent) | Merge.kif 14054-14054 | |
(subclass Organism AutonomousAgent) | Merge.kif 14355-14355 | |
(subclass CommercialAgent AutonomousAgent) | Merge.kif 16173-16173 | |
(subclass Group AutonomousAgent) | Merge.kif 16224-16224 | |
(subclass Organization AutonomousAgent) | Merge.kif 16610-16610 | |
(subclass ITAgent AutonomousAgent) | engineering.kif 1306-1306 |