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
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 32643-32643
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 32642-32642

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4347-4364
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 11269-11275
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 4371-4381
No TPTP formula. May not be expressible in strict first order. Merge.kif 11995-12001
No TPTP formula. May not be expressible in strict first order. Merge.kif 11988-11993
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23795-23808
No TPTP formula. May not be expressible in strict first order. Merge.kif 11143-11150
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 11255-11262
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 12012-12017
No TPTP formula. May not be expressible in strict first order. Merge.kif 12263-12269
No TPTP formula. May not be expressible in strict first order. Merge.kif 12038-12051
No TPTP formula. May not be expressible in strict first order. Merge.kif 12519-12527
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 3685-3725
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24601-24619
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7943-7952
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20021-20029
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4183-4202
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4155-4169
No TPTP formula. May not be expressible in strict first order. Merge.kif 12024-12036

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