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

Formal Language: 



KB Term:  Term intersection
English Word: 

  considers

 Sigma KEE - considers
considers

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1939-1940
No TPTP formula. May not be expressible in strict first order. Merge.kif 2803-2805
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 569-570
No TPTP formula. May not be expressible in strict first order. Merge.kif 2800-2800 域 考慮, 1 and CognitiveAgent
No TPTP formula. May not be expressible in strict first order. Merge.kif 2801-2801 域 考慮, 2 and Formula
No TPTP formula. May not be expressible in strict first order. Merge.kif 2798-2798 例 考慮 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 2797-2797 例 考慮 and PropositionalAttitude
No TPTP formula. May not be expressible in strict first order. Merge.kif 2799-2799 子關係 考慮 and 在感興趣的範圍內

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 79-79
No TPTP formula. May not be expressible in strict first order. english_format.kif 79-79
No TPTP formula. May not be expressible in strict first order. french_format.kif 64-64
No TPTP formula. May not be expressible in strict first order. relations-it.txt 56-56
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1888-1888
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 16-16
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 99-99
No TPTP formula. May not be expressible in strict first order. relations-de.txt 89-89
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 97-97
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 83-83
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 63-63
No TPTP formula. May not be expressible in strict first order. relations-cb.txt 90-90
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 80-80
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16691-16691
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16690-16690
No TPTP formula. May not be expressible in strict first order. terms-de.txt 24-24
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 129-129

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