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 2733-2737
No TPTP formula. May not be expressible in strict first order. Merge.kif 2730-2730 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 2731-2731 The number 2 argument of knows is an instance of formula
No TPTP formula. May not be expressible in strict first order. Merge.kif 2728-2728 knows is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 2727-2727 knows is an instance of propositional attitude
No TPTP formula. May not be expressible in strict first order. Merge.kif 2729-2729 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
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 32718-32718
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 32717-32717

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4368-4385
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 2739-2741
No TPTP formula. May not be expressible in strict first order. Merge.kif 2743-2745

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 11304-11310
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 4392-4402
No TPTP formula. May not be expressible in strict first order. Merge.kif 12030-12036
No TPTP formula. May not be expressible in strict first order. Merge.kif 12023-12028
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23801-23814
No TPTP formula. May not be expressible in strict first order. Merge.kif 11178-11185
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 11290-11297
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 1260-1268
No TPTP formula. May not be expressible in strict first order. Merge.kif 12047-12052
No TPTP formula. May not be expressible in strict first order. Merge.kif 12298-12304
No TPTP formula. May not be expressible in strict first order. Merge.kif 12073-12086
No TPTP formula. May not be expressible in strict first order. Merge.kif 12554-12562
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 3727-3767
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24607-24625
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7945-7954
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20027-20035
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4204-4223
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4176-4190
No TPTP formula. May not be expressible in strict first order. Merge.kif 12059-12071

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