Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Slow

Sigma KEE - Slow
Slow

appearance as argument number 1
-------------------------


(documentation Slow EnglishLanguage "Slow describes how a process takes more time than expected") Dining.kif 1040-1041
(instance Slow TimeAttribute) Dining.kif 1039-1039

appearance as argument number 2
-------------------------


(contraryAttribute Quick Slow) Dining.kif 1037-1037
(termFormat EnglishLanguage Slow "slow") Dining.kif 1042-1042

antecedent
-------------------------


(=>
    (and
        (subjectiveAttribute ?AGENT1 Quick ?PERSON)
        (subjectiveAttribute ?AGENT2 Slow ?PERSON)
        (instance ?PROCESS1 ?CLASS)
        (instance ?PROCESS2 ?CLASS)
        (subclass ?CLASS Process)
        (agent ?PROCESS1 ?AGENT1)
        (agent ?PROCESS2 ?AGENT2))
    (and
        (instance ?U UnitOfDuration)
        (duration
            (WhenFn ?PROCESS1)
            (MeasureFn ?TIME1 ?U))
        (duration
            (WhenFn ?PROCESS2)
            (MeasureFn ?TIME2 ?U))
        (greaterThan ?TIME2 ?TIME1)))
Dining.kif 1044-1059


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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