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 4516-4517
No TPTP formula. May not be expressible in strict first order. Merge.kif 4512-4514
No TPTP formula. May not be expressible in strict first order. Merge.kif 4519-4520
No TPTP formula. May not be expressible in strict first order. Merge.kif 4509-4509 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 4510-4510 The number 2 argument of considers is an instance of formula
No TPTP formula. May not be expressible in strict first order. Merge.kif 4507-4507 considers is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 4506-4506 considers is an instance of propositional attitude
No TPTP formula. May not be expressible in strict first order. Merge.kif 4508-4508 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 92-92
No TPTP formula. May not be expressible in strict first order. english_format.kif 93-93
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 16620-16620 "考慮" is the printable form of considers in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16619-16619 "considers" is the printable form of considers in english language

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 4539-4542


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