Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  knows

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 32711-32711
No TPTP formula. May not be expressible in strict first order. 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 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 4422-4432
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 22053-22066
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 815-823
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 22666-22684
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7182-7191
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18644-18652
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 12059-12071

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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