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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1943-1945
No TPTP formula. May not be expressible in strict first order. Merge.kif 2729-2733
No TPTP formula. May not be expressible in strict first order. Merge.kif 2726-2726 The number 1 argument of knows is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 2727-2727 The number 2 argument of knows is an instance of formula
No TPTP formula. May not be expressible in strict first order. Merge.kif 2724-2724 knows is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 2723-2723 knows is an instance of propositional attitude
No TPTP formula. May not be expressible in strict first order. Merge.kif 2725-2725 knows is a subrelation of in scope of interest

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 139-139
No TPTP formula. May not be expressible in strict first order. english_format.kif 140-140
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 140-140 "知道" is the printable form of knows in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 32634-32634 "知道" is the printable form of knows in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 32633-32633 "knows" is the printable form of knows in english language

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


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 2735-2737
No TPTP formula. May not be expressible in strict first order. Merge.kif 2739-2741

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 11148-11154
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 11874-11880
No TPTP formula. May not be expressible in strict first order. Merge.kif 11867-11872
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23758-23771
No TPTP formula. May not be expressible in strict first order. Merge.kif 11022-11029
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 11134-11141
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 1254-1262
No TPTP formula. May not be expressible in strict first order. Merge.kif 11893-11898
No TPTP formula. May not be expressible in strict first order. Merge.kif 12145-12151
No TPTP formula. May not be expressible in strict first order. Merge.kif 11920-11933
No TPTP formula. May not be expressible in strict first order. Merge.kif 12401-12409
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 3683-3723
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24564-24582
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7963-7972
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19984-19992
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4147-4166
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4119-4133
No TPTP formula. May not be expressible in strict first order. Merge.kif 11906-11918
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 468-478

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners