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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Quick

Sigma KEE - Quick
Quick

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


(contraryAttribute Quick Slow) Dining.kif 1037-1037 QuickSlow 的相反
(documentation Quick EnglishLanguage "Quick describes how a process takes less time than expected") Dining.kif 1033-1034
(instance Quick TimeAttribute) Dining.kif 1032-1032 QuickTimeAttributeinstance

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


(termFormat EnglishLanguage Quick "quick") Dining.kif 1035-1035

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

consequent
-------------------------


(=>
    (instance ?P Proliferation)
    (exists (?C ?A ?I)
        (and
            (instance ?C Classifying)
            (agent ?C ?A)
            (instance ?I Increasing)
            (destination ?C ?I)
            (subjectiveAttribute ?I Quick ?A))))
MilitaryProcesses.kif 1437-1445


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