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
-------------------------


s__documentation(s__knows__m,s__ChineseLanguage,'"这是认识的知识谓词, (knows ?AGENT ?FORMULA) 的意思是 ?AGENT 认识 ?FORMULA 所表达的命题。 注:knows 意味着有意识的认知,因此这个 Predicate 不能够用来 表达沉默或无意识的知识。"')

chinese_format.kif 1943-1945
s__documentation(s__knows__m,s__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 2736-2740
s__domain(s__knows__m,n__1,s__CognitiveAgent)

Merge.kif 2733-2733 The number 1 argument of knows is an instance of cognitive agent
s__domain(s__knows__m,n__2,s__Formula)

Merge.kif 2734-2734 The number 2 argument of knows is an instance of formula
s__instance(s__knows__m,s__BinaryPredicate)

s__instance(s__BinaryPredicate,s__SetOrClass)

Merge.kif 2731-2731 knows is an instance of binary predicate
s__instance(s__PropositionalAttitude,s__SetOrClass)

s__instance(s__knows__m,s__PropositionalAttitude)

Merge.kif 2730-2730 knows is an instance of propositional attitude
s__subrelation(s__knows__m,s__inScopeOfInterest__m)

Merge.kif 2732-2732 knows is a subrelation of in scope of interest

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


s__format(s__ChineseLanguage,s__knows__m,'"%1 %n{doesnt} knows %2"')

chinese_format.kif 139-139
s__format(s__EnglishLanguage,s__knows__m,'"%1 %n{doesnt} know%p{s} %2"')

english_format.kif 140-140
s__termFormat(s__ChineseLanguage,s__knows__m,'"知道"')

chinese_format.kif 140-140
s__termFormat(s__ChineseTraditionalLanguage,s__knows__m,'"知道"')

domainEnglishFormat.kif 32711-32711
s__termFormat(s__EnglishLanguage,s__knows__m,'"knows"')

domainEnglishFormat.kif 32710-32710

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4398-4415
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1857-1869
No TPTP formula. May not be expressible in strict first order. Merge.kif 2742-2744
No TPTP formula. May not be expressible in strict first order. Merge.kif 2746-2748

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 11522-11528
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1857-1869
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4422-4432
No TPTP formula. May not be expressible in strict first order. Merge.kif 12289-12295
No TPTP formula. May not be expressible in strict first order. Merge.kif 12282-12287
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24529-24541
No TPTP formula. May not be expressible in strict first order. Merge.kif 11396-11403
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 577-587
No TPTP formula. May not be expressible in strict first order. Merge.kif 11508-11515
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2187-2197
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2175-2185
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 815-823
No TPTP formula. May not be expressible in strict first order. Merge.kif 12306-12311
No TPTP formula. May not be expressible in strict first order. Merge.kif 12557-12563
No TPTP formula. May not be expressible in strict first order. Merge.kif 12332-12345
No TPTP formula. May not be expressible in strict first order. Merge.kif 12869-12877
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 684-690
No TPTP formula. May not be expressible in strict first order. emotion.kif 56-64
No TPTP formula. May not be expressible in strict first order. Cars.kif 3714-3754
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25141-25159
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7784-7793
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20948-20956
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4234-4253
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4206-4220
No TPTP formula. May not be expressible in strict first order. Merge.kif 12318-12330

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