Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(=>
    (and
        (instance ?PROCESS ?PROCESS_CLASS)
        (subclass ?PROCESS_CLASS Process)
        (instance ?ACCESSING AccessingWebPage)
        (instance ?AGENT Agent)
        (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 1703-1725
(=>
    (and
        (trafficableForTrafficType ?place ?type)
        (subclass ?type Agent)
        (instance ?mover ?type))
    (capableAtLocation Translocation agent ?mover ?place))
Transportation.kif 2616-2621
(=>
    (and
        (instance ?AGENT Agent)
        (subclass
            (ElectionFn ?AGENT) Election))
    (or
        (instance ?AGENT Organization)
        (instance ?AGENT GeopoliticalArea)))
Government.kif 1689-1695
(subclass Agent Object) Merge.kif 1504-1504 subclass Agent and Object
(subclass SentientAgent Agent) Merge.kif 1514-1514 subclass SentientAgent and Agent
(subclass GeopoliticalArea Agent) Merge.kif 13823-13823 subclass GeopoliticalArea and Agent
(subclass Organism Agent) Merge.kif 14110-14110 subclass Organism and Agent
(subclass CommercialAgent Agent) Merge.kif 15919-15919 subclass CommercialAgent and Agent
(subclass Group Agent) Merge.kif 15970-15970 subclass Group and Agent
(subclass Organization Agent) Merge.kif 16356-16356 subclass Organization and Agent
(subclass ITAgent Agent) engineering.kif 1305-1305 subclass ITAgent and Agent


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