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

Formal Language: 



KB Term:  Term intersection
English Word: 

  approves

 Sigma KEE - approves
approves

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26945-26947
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26950-26950 The number 1 argument of approves is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26951-26951 The number 2 argument of approves is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26944-26944 approves is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26943-26943 approves is a subrelation of in scope of interest

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2814-2814
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2813-2813
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2812-2812
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26948-26948

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26953-26957


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