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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - considers
considers

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 2974-2975
No TPTP formula. May not be expressible in strict first order. Merge.kif 2971-2973
No TPTP formula. May not be expressible in strict first order. Merge.kif 2969-2969 The number 1 argument of considers is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 2970-2970 The number 2 argument of considers is an instance of formula
No TPTP formula. May not be expressible in strict first order. Merge.kif 2967-2967 considers is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 2966-2966 considers is an instance of propositional attitude
No TPTP formula. May not be expressible in strict first order. Merge.kif 2968-2968 considers 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 79-79
No TPTP formula. May not be expressible in strict first order. english_format.kif 66-66
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. portuguese_format.kif 16-16
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 14-14
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-cb.txt 90-90
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 80-80 "考虑" is the printable form of considers in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3203-3203 "considers" is the printable form of considers in english language
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 464-464 "«يَعْتَبِر»" is the printable form of considers in ar
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 129-129 "inisipin" is the printable form of considers in tg

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 2988-2991


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