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 2805-2809
(domain knows 1 CognitiveAgent) Merge.kif 2802-2802
(domain knows 2 Formula) Merge.kif 2803-2803
(instance knows BinaryPredicate) Merge.kif 2800-2800
(instance knows PropositionalAttitude) Merge.kif 2799-2799
(subrelation knows inScopeOfInterest) Merge.kif 2801-2801

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 32706-32706
(termFormat EnglishLanguage knows "knows") domainEnglishFormat.kif 32705-32705

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 2811-2813
(=>
    (knows ?AGENT ?FORMULA)
    (truth ?FORMULA True))
Merge.kif 2815-2817

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


(=>
    (and
        (instance ?COUNT Counting)
        (agent ?COUNT ?AGENT)
        (patient ?COUNT ?ENTITY))
    (exists (?NUMBER)
        (knows ?AGENT
            (equal
                (CardinalityFn ?ENTITY) ?NUMBER))))
Merge.kif 11995-12001
(=>
    (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 12800-12806
(=>
    (and
        (instance ?INVESTIGATE Investigating)
        (agent ?INVESTIGATE ?AGENT)
        (patient ?INVESTIGATE ?PROP))
    (holdsDuring
        (WhenFn ?INVESTIGATE)
        (not
            (knows ?AGENT ?PROP))))
Merge.kif 12793-12798
(=>
    (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 25749-25761
(=>
    (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 11869-11876
(=>
    (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 11981-11988
(=>
    (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 12817-12822
(=>
    (and
        (instance ?QUESTION Questioning)
        (agent ?QUESTION ?AGENT)
        (patient ?QUESTION ?FORMULA)
        (instance ?FORMULA Formula))
    (holdsDuring
        (WhenFn ?QUESTION)
        (not
            (knows ?AGENT ?FORMULA))))
Merge.kif 13072-13078
(=>
    (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 12843-12856
(=>
    (and
        (instance ?SEE Seeing)
        (agent ?SEE ?AGENT)
        (patient ?SEE ?OBJ))
    (exists (?PROP)
        (and
            (instance ?PROP ColorAttribute)
            (knows ?AGENT
                (attribute ?OBJ ?PROP)))))
Merge.kif 13384-13392
(=>
    (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))
    (exists (?HARM ?THIEF ?T ?L)
        (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 3710-3751
(=>
    (and
        (instance ?X FireAlarm)
        (attribute ?X DeviceOn)
        (located ?X ?LOC))
    (exists (?RS)
        (and
            (instance ?RS RadiatingSound)
            (instrument ?RS ?X)
            (hasPurpose ?RS
                (exists (?GRP)
                    (and
                        (instance ?GRP GroupOfPeople)
                        (located ?GRP ?LOC)
                        (knows ?GRP
                            (exists (?FIRE)
                                (and
                                    (instance ?FIRE Fire)
                                    (eventLocated ?FIRE ?LOC))))))))))
Mid-level-ontology.kif 26366-26384
(=>
    (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 8253-8262
(=>
    (attribute ?X Celebrity)
    (greaterThan
        (exists (?A)
            (CardinalityFn
                (KappaFn ?A
                    (knows ?A
                        (exists (?P)
                            (equal ?P ?X)))))) 1000))
Mid-level-ontology.kif 22122-22131
(=>
    (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 12829-12841

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