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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - knows
knows

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


(documentation knows ChineseLanguage "这是认识的知识谓词, (knows ?AGENT ?FORMULA) 的意思是 ?AGENT 认识 ?FORMULA 所表达的命题。 注:knows 意味着有意识的认知,因此这个 Predicate 不能够用来 表达沉默或无意识的知识。") chinese_format.kif 1943-1945
(documentation knows EnglishLanguage "The epistemic predicate of knowing. (knows ?AGENT ?FORMULA) means that ?AGENT knows the proposition expressed by ?FORMULA. Note that knows entails conscious awareness, so this Predicate cannot be used to express tacit or subconscious or unconscious knowledge.") Merge.kif 2828-2832
(documentation knows JapaneseLanguage "知ることの認識的述語。 (knows ?AGENT ?FORMULA) とは、 ?AGENT が ?FORMULA によって表される命題を知っていることを意味する。 knows は意識を伴うので、 この Predicate は暗黙の知識や潜在意識や無意識の知識を表現するために使用することはできない。") japanese_format.kif 573-575
(domain knows 1 CognitiveAgent) Merge.kif 2825-2825 The number 1 argument of knows is an instance of cognitive agent
(domain knows 2 Formula) Merge.kif 2826-2826 The number 2 argument of knows is an instance of formula
(instance knows BinaryPredicate) Merge.kif 2823-2823 knows is an instance of binary predicate
(instance knows PropositionalAttitude) Merge.kif 2822-2822 knows is an instance of propositional attitude
(subrelation knows inScopeOfInterest) Merge.kif 2824-2824 knows is a subrelation of in scope of interest

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


(format ChineseLanguage knows "%1 %n{doesn't} knows %2") chinese_format.kif 139-139
(format EnglishLanguage knows "%1 %n{doesn't} know%p{s} %2") english_format.kif 140-140
(format FrenchLanguage knows "%1 %n{ne} conna�t %n{pas} %2") french_format.kif 91-91
(format ItalianLanguage knows "%1 %n{non} conosce%p{s} %2") relations-it.txt 159-159
(format JapaneseLanguage knows "%1 は %2 を know%p{s} %n{ない}") japanese_format.kif 1918-1918
(format PortugueseLanguage knows "%1 %n{nao} sabe %n %2") portuguese_format.kif 43-43
(format cz knows "%1 %n{doesn't} know%p{s} %2") relations-cz.txt 101-101
(format de knows "%1 kennt %2 %n{nicht}") relations-de.txt 169-169
(format hi knows "%1 %2 ko %n{nahiin} jaanataa hai") relations-hindi.txt 198-198
(format ro knows "%1 %n{nu} know%t{cunoaºte} %2") relations-ro.kif 110-110
(format sv knows "%1 vet %n{inte} %2") relations-sv.txt 90-90
(format tg knows "%1 %n ay naalam %2") relations-tg.txt 318-318
(termFormat ChineseLanguage knows "知道") chinese_format.kif 140-140
(termFormat ChineseTraditionalLanguage knows "知道") domainEnglishFormat.kif 32724-32724
(termFormat EnglishLanguage knows "knows") domainEnglishFormat.kif 32723-32723
(termFormat de knows "kennt") terms-de.txt 51-51
(termFormat tg knows "naalam") relations-tg.txt 319-319

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


(=>
    (and
        (hasAccount ?U ?AC)
        (password ?P ?AC)
        (deviceAccount ?AC ?D)
        (not
            (knows ?U
                (password ?P ?AC)))
        (knows ?U
            (recoveryKey ?S ?AC))
        (possesses ?U ?D))
    (modalAttribute
        (exists (?C)
            (and
                (instance ?C ChangingPassword)
                (patient ?C ?AC)
                (agent ?C ?U))) Possibility))
ComputingBrands.kif 4427-4444
(=>
    (and
        (instance ?DIO DefensiveInformationOperation)
        (agent ?DIO ?AGENT)
        (enemy ?AGENT ?ENEMY)
        (desires ?ENEMY
            (knows ?ENEMY ?FORMULA))
        (desires ?AGENT
            (not
                (knows ?ENEMY ?FORMULA))))
    (hasPurpose ?DIO
        (not
            (knows ?ENEMY ?FORMULA))))
MilitaryProcesses.kif 1876-1888
(=>
    (knows ?AGENT ?FORMULA)
    (believes ?AGENT ?FORMULA))
Merge.kif 2834-2836
(=>
    (knows ?AGENT ?FORMULA)
    (truth ?FORMULA True))
Merge.kif 2838-2840

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


(=>
    (and
        (instance ?A AntibodyCOVIDTest)
        (instrument ?M ?A)
        (instance ?M Measuring)
        (patient ?M ?H)
        (instance ?CA COVIDAntibody)
        (part ?CA ?H))
    (modalAttribute
        (knows ?H
            (exists (?CA)
                (and
                    (instance ?CA COVIDAntibody)
                    (part ?CA ?H)))) Likely))
Medicine.kif 2763-2777
(=>
    (and
        (instance ?C CheckingVitals)
        (agent ?C ?A)
        (patient ?C ?P)
        (instance ?H Heart)
        (part ?H ?P)
        (instance ?L Lung)
        (part ?L ?P)
        (holdsDuring
            (WhenFn ?C)
            (and
                (systolicBloodPressure ?P ?SYS)
                (diastolicBloodPressure ?P ?DIA)
                (measure ?P
                    (MeasureFn ?T FahrenheitDegree))))
        (heartRate ?H
            (WhenFn ?C) ?I)
        (breathingRate ?L
            (WhenFn ?C) ?R))
    (knows ?A
        (and
            (holdsDuring
                (WhenFn ?C)
                (and
                    (systolicBloodPressure ?P ?SYS)
                    (diastolicBloodPressure ?P ?DIA)
                    (measure ?P
                        (MeasureFn ?T FahrenheitDegree))))
            (heartRate ?H
                (WhenFn ?C) ?I)
            (breathingRate ?L
                (WhenFn ?C) ?R))))
Medicine.kif 6505-6529
(=>
    (and
        (instance ?COUNT Counting)
        (agent ?COUNT ?AGENT)
        (patient ?COUNT ?ENTITY))
    (exists (?NUMBER)
        (knows ?AGENT
            (equal
                (CardinalityFn ?ENTITY) ?NUMBER))))
Merge.kif 12136-12142
(=>
    (and
        (instance ?DIO DefensiveInformationOperation)
        (agent ?DIO ?AGENT)
        (enemy ?AGENT ?ENEMY)
        (desires ?ENEMY
            (knows ?ENEMY ?FORMULA))
        (desires ?AGENT
            (not
                (knows ?ENEMY ?FORMULA))))
    (hasPurpose ?DIO
        (not
            (knows ?ENEMY ?FORMULA))))
MilitaryProcesses.kif 1876-1888
(=>
    (and
        (instance ?E Electrocardiography)
        (patient ?E ?H)
        (agent ?E ?D)
        (attribute ?D MedicalDoctor))
    (hasPurpose ?E
        (knows ?D
            (exists (?T)
                (truth
                    (attribute ?H
                        (ImpairedBodyPartFn Heart)) ?T)))))
Medicine.kif 3449-3460
(=>
    (and
        (instance ?F Forgetting)
        (experiencer ?F ?A))
    (exists (?P)
        (and
            (holdsDuring
                (ImmediateFutureFn
                    (WhenFn ?F))
                (not
                    (knows ?A ?P)))
            (holdsDuring
                (ImmediatePastFn
                    (WhenFn ?F))
                (knows ?A ?P)))))
ComputingBrands.kif 4451-4461
(=>
    (and
        (instance ?G Gaslighting)
        (agent ?G ?A)
        (suffers ?G ?H))
    (exists (?P)
        (and
            (instance ?P Perception)
            (experiencer ?P ?H)
            (causesProposition
                (suffers ?G ?H)
                (not
                    (knows ?H
                        (result ?P ?R)))))))
Medicine.kif 3665-3678
(=>
    (and
        (instance ?G GramStaining)
        (agent ?G ?H)
        (patient ?G ?B))
    (hasPurpose ?G
        (knows ?H
            (exists (?S)
                (and
                    (instance ?S GramStainAttribute)
                    (attribute ?B ?S))))))
Medicine.kif 5369-5379
(=>
    (and
        (instance ?INVESTIGATE Investigating)
        (agent ?INVESTIGATE ?AGENT)
        (patient ?INVESTIGATE ?PROP))
    (hasPurposeForAgent ?INVESTIGATE
        (knows ?AGENT ?PROP) ?AGENT))
Merge.kif 12941-12947
(=>
    (and
        (instance ?INVESTIGATE Investigating)
        (agent ?INVESTIGATE ?AGENT)
        (patient ?INVESTIGATE ?PROP))
    (holdsDuring
        (WhenFn ?INVESTIGATE)
        (not
            (knows ?AGENT ?PROP))))
Merge.kif 12934-12939
(=>
    (and
        (instance ?KL KnockLight)
        (instance ?A Human)
        (attribute ?A Deaf)
        (uses ?KL ?A))
    (hasPurpose ?KL
        (exists (?KNOCK ?DOOR)
            (and
                (instance ?KNOCK Impacting)
                (patient ?KNOCK ?DOOR)
                (instance ?DOOR Door)
                (knows ?A ?KNOCK)))))
Mid-level-ontology.kif 25840-25852
(=>
    (and
        (instance ?LEARN Learning)
        (agent ?LEARN ?AGENT)
        (patient ?LEARN ?PROP))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?LEARN))
            (not
                (knows ?AGENT ?PROP)))
        (holdsDuring
            (EndFn
                (WhenFn ?LEARN))
            (knows ?AGENT ?PROP))))
Merge.kif 11949-11956
(=>
    (and
        (instance ?LOCATING Locating)
        (patient ?LOCATING ?THING)
        (agent ?LOCATING ?AGENT))
    (hasPurpose ?LOCATING
        (exists (?LOCATION)
            (and
                (instance ?LOCATION Region)
                (knows ?AGENT
                    (located ?THING ?LOCATION))))))
MilitaryProcesses.kif 577-587
(=>
    (and
        (instance ?M Measuring)
        (instrument ?M ?PO)
        (agent ?M ?A)
        (patient ?M ?P)
        (instance ?PO PulseOximeter))
    (exists (?N)
        (knows ?A
            (oxygenSaturation ?P ?N))))
Medicine.kif 1260-1269
(=>
    (and
        (instance ?MB MeasuringBreathing)
        (agent ?MB ?A)
        (instance ?L Lung)
        (part ?L ?P)
        (instance ?T TimeInterval)
        (during ?T
            (WhenFn ?MB))
        (duration ?T MinuteDuration)
        (patient ?MB ?P))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?MB))
        (exists (?BR)
            (knows ?A
                (breathingRate ?L ?T ?BR)))))
Medicine.kif 466-482
(=>
    (and
        (instance ?MEAS Measuring)
        (agent ?MEAS ?AGENT)
        (patient ?MEAS ?OBJ))
    (exists (?QUANT ?UNIT)
        (holdsDuring
            (EndFn
                (WhenFn ?MEAS))
            (knows ?AGENT
                (measure ?OBJ
                    (MeasureFn ?QUANT ?UNIT))))))
Merge.kif 12122-12129
(=>
    (and
        (instance ?P Decoding)
        (agent ?P ?A))
    (exists (?CODE)
        (or
            (knows ?A ?CODE)
            (exists (?OBJ)
                (and
                    (instrument ?P ?OBJ)
                    (containsInformation ?OBJ ?CODE))))))
QoSontology.kif 2181-2191
(=>
    (and
        (instance ?P Encoding)
        (agent ?P ?A))
    (exists (?CODE)
        (or
            (knows ?A ?CODE)
            (exists (?OBJ)
                (and
                    (instrument ?P ?OBJ)
                    (containsInformation ?OBJ ?CODE))))))
QoSontology.kif 2169-2179
(=>
    (and
        (instance ?P Punishing)
        (agent ?P ?A)
        (patient ?P ?F)
        (destination ?P ?D))
    (knows ?A
        (not
            (desires ?D ?F))))
Mid-level-ontology.kif 872-880
(=>
    (and
        (instance ?PROC DiagnosticProcess)
        (agent ?PROC ?AGENT))
    (exists (?CAUSE)
        (hasPurposeForAgent ?PROC
            (knows ?AGENT
                (causes ?CAUSE ?PROC)) ?AGENT)))
Merge.kif 12958-12963
(=>
    (and
        (instance ?QUESTION Questioning)
        (agent ?QUESTION ?AGENT)
        (patient ?QUESTION ?FORMULA)
        (instance ?FORMULA Formula))
    (holdsDuring
        (WhenFn ?QUESTION)
        (not
            (knows ?AGENT ?FORMULA))))
Merge.kif 13213-13219
(=>
    (and
        (instance ?S Searching)
        (patient ?S ?OBJ)
        (instance ?OBJ Physical))
    (exists (?LOC ?AGENT)
        (and
            (instance ?AGENT CognitiveAgent)
            (agent ?S ?AGENT)
            (instance ?LOC Object)
            (located ?OBJ ?LOC)
            (hasPurposeForAgent ?S
                (knows ?AGENT
                    (located ?OBJ ?LOC)) ?AGENT))))
Merge.kif 12984-12997
(=>
    (and
        (instance ?SEE Seeing)
        (agent ?SEE ?AGENT)
        (patient ?SEE ?OBJ))
    (exists (?PROP)
        (and
            (instance ?PROP ColorAttribute)
            (knows ?AGENT
                (attribute ?OBJ ?PROP)))))
Merge.kif 13525-13533
(=>
    (and
        (instance ?SR ReconnaissanceOperation)
        (agent ?SR ?AGENT)
        (instance ?PROP Proposition))
    (hasPurpose ?SR
        (knows ?AGENT ?PROP)))
MilitaryProcesses.kif 684-690
(=>
    (and
        (instance ?X AppraisalProcess)
        (agent ?X ?A))
    (exists (?APP)
        (and
            (instance ?APP Appraisal)
            (knows ?A
                (attribute ?A ?APP)))))
emotion.kif 56-64

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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



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