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 2784-2788
(domain knows 1 CognitiveAgent) Merge.kif 2781-2781 domain knows, 1 and CognitiveAgent
(domain knows 2 Formula) Merge.kif 2782-2782 domain knows, 2 and Formula
(instance knows BinaryPredicate) Merge.kif 2779-2779 instance knows and BinaryPredicate
(instance knows PropositionalAttitude) Merge.kif 2778-2778 instance knows and PropositionalAttitude
(subrelation knows inScopeOfInterest) Merge.kif 2780-2780 subrelation knows and inScopeOfInterest

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
(termFormat ChineseLanguage knows "知道") chinese_format.kif 140-140
(termFormat ChineseTraditionalLanguage knows "知道") domainEnglishFormat.kif 32710-32710
(termFormat EnglishLanguage knows "knows") domainEnglishFormat.kif 32709-32709

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 4425-4442
(=>
    (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 2790-2792
(=>
    (knows ?AGENT ?FORMULA)
    (truth ?FORMULA True))
Merge.kif 2794-2796

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


(=>
    (and
        (instance ?COUNT Counting)
        (agent ?COUNT ?AGENT)
        (patient ?COUNT ?ENTITY))
    (exists (?NUMBER)
        (knows ?AGENT
            (equal
                (CardinalityFn ?ENTITY) ?NUMBER))))
Merge.kif 11951-11957
(=>
    (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 ?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 4449-4459
(=>
    (and
        (instance ?INVESTIGATE Investigating)
        (agent ?INVESTIGATE ?AGENT)
        (patient ?INVESTIGATE ?PROP))
    (hasPurposeForAgent ?INVESTIGATE
        (knows ?AGENT ?PROP) ?AGENT))
Merge.kif 12756-12762
(=>
    (and
        (instance ?INVESTIGATE Investigating)
        (agent ?INVESTIGATE ?AGENT)
        (patient ?INVESTIGATE ?PROP))
    (holdsDuring
        (WhenFn ?INVESTIGATE)
        (not
            (knows ?AGENT ?PROP))))
Merge.kif 12749-12754
(=>
    (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 11825-11832
(=>
    (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 ?MEAS Measuring)
        (agent ?MEAS ?AGENT)
        (patient ?MEAS ?OBJ))
    (exists (?QUANT ?UNIT)
        (holdsDuring
            (EndFn
                (WhenFn ?MEAS))
            (knows ?AGENT
                (measure ?OBJ
                    (MeasureFn ?QUANT ?UNIT))))))
Merge.kif 11937-11944
(=>
    (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 839-847
(=>
    (and
        (instance ?PROC DiagnosticProcess)
        (agent ?PROC ?AGENT))
    (exists (?CAUSE)
        (hasPurposeForAgent ?PROC
            (knows ?AGENT
                (causes ?CAUSE ?PROC)) ?AGENT)))
Merge.kif 12773-12778
(=>
    (and
        (instance ?QUESTION Questioning)
        (agent ?QUESTION ?AGENT)
        (patient ?QUESTION ?FORMULA)
        (instance ?FORMULA Formula))
    (holdsDuring
        (WhenFn ?QUESTION)
        (not
            (knows ?AGENT ?FORMULA))))
Merge.kif 13028-13034
(=>
    (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 12799-12812
(=>
    (and
        (instance ?SEE Seeing)
        (agent ?SEE ?AGENT)
        (patient ?SEE ?OBJ))
    (exists (?PROP)
        (and
            (instance ?PROP ColorAttribute)
            (knows ?AGENT
                (attribute ?OBJ ?PROP)))))
Merge.kif 13340-13348
(=>
    (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
(=>
    (and
        (instance ?X CarAlarm)
        (instance ?CAR SelfPoweredRoadVehicle)
        (part ?X ?CAR))
    (hasPurpose ?X
        (=>
            (and
                (or
                    (instance ?HARM Stealing)
                    (instance ?HARM Damaging))
                (instance ?THIEF Human)
                (agent ?HARM ?THIEF)
                (patient ?HARM ?CAR)
                (equal
                    (WhenFn ?HARM) ?T)
                (eventPartlyLocated ?HARM ?L))
            (exists (?ALARM)
                (and
                    (instance ?ALARM RadiatingSound)
                    (agent ?ALARM ?X)
                    (causes ?HARM ?ALARM)
                    (hasPurpose ?ALARM
                        (increasesLikelihood
                            (exists (?WITNESS)
                                (and
                                    (instance ?WITNESS Human)
                                    (holdsDuring ?T
                                        (orientation ?WITNESS ?L Near))))
                            (or
                                (knows ?WITNESS
                                    (exists (?H)
                                        (and
                                            (or
                                                (instance ?H Stealing)
                                                (instance ?H Damaging))
                                            (eventPartlyLocated ?H ?L)
                                            (holdsDuring ?T
                                                (patient ?H ?CAR)))))
                                (finishes
                                    (WhenFn ?ALARM)
                                    (WhenFn ?HARM))))))))))
Cars.kif 3714-3754
(=>
    (and
        (or
            (instance ?ROLE OccupationalTrade)
            (instance ?ROLE Profession))
        (holdsDuring ?T1
            (attribute ?HUMAN ?ROLE)))
    (exists (?FIELD)
        (and
            (instance ?FIELD FieldOfStudy)
            (holdsDuring ?T1
                (knows ?HUMAN ?FIELD)))))
Mid-level-ontology.kif 8266-8275
(=>
    (instance ?FMIP FindMyIPhone)
    (hasPurpose ?FMIP
        (exists (?A ?IP ?P ?L)
            (and
                (instance ?IP AppleIPhone)
                (instrument ?P ?FMIP)
                (agent ?P ?A)
                (patient ?P ?IP)
                (holdsDuring
                    (ImmediatePastFn
                        (WhenFn ?P))
                    (not
                        (knows ?A
                            (located ?IP ?L))))
                (holdsDuring
                    (ImmediateFutureFn
                        (WhenFn ?P))
                    (knows ?A
                        (located ?IP ?L)))))))
ComputingBrands.kif 4261-4280
(=>
    (instance ?P Phishing)
    (exists (?FS ?V ?M ?I)
        (and
            (instance ?M Communication)
            (origin ?M ?FS)
            (agent ?P ?FS)
            (destination ?M ?V)
            (instance ?I Formula)
            (knows ?V ?I)
            (not
                (desires ?V
                    (knows ?FS ?I)))
            (desires ?FS
                (knows ?FS ?I)))))
ComputingBrands.kif 4233-4247
(=>
    (instance ?S Searching)
    (exists (?AGENT ?OBJ ?LOC)
        (and
            (instance ?AGENT CognitiveAgent)
            (agent ?S ?AGENT)
            (instance ?OBJ Physical)
            (patient ?S ?OBJ)
            (instance ?LOC Object)
            (located ?OBJ ?LOC)
            (hasPurposeForAgent ?S
                (knows ?AGENT
                    (located ?OBJ ?LOC)) ?AGENT))))
Merge.kif 12785-12797
(=>
    (instance ?TA_CTRL TerminalAttackControl)
    (hasPurpose ?TA_CTRL
        (exists (?AGENT ?ATTACK ?LOCATION ?TARGET)
            (and
                (targetInAttack ?ATTACK ?TARGET)
                (patient ?TA_CTRL ?TARGET)
                (agent ?TA_CTRL ?AGENT)
                (result ?TA_CTRL
                    (knows ?AGENT
                        (located ?TARGET ?LOCATION)))))))
MilitaryProcesses.kif 468-478
(=>
    (instance ?TA_CTRL TerminalGuidance)
    (hasPurpose ?TA_CTRL
        (exists (?AGENT ?ATTACK ?LOCATION ?TARGET)
            (and
                (targetInAttack ?ATTACK ?TARGET)
                (patient ?TA_CTRL ?TARGET)
                (agent ?TA_CTRL ?AGENT)
                (result ?TA_CTRL
                    (knows ?AGENT
                        (located ?TARGET ?LOCATION)))))))
MilitaryProcesses.kif 521-531
(=>
    (member ?AGNOSTIC Agnosticism)
    (not
        (knows ?AGNOSTIC
            (not
                (exists (?GOD)
                    (equal ?GOD God))))))
People.kif 717-723

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