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

Formal Language: 



KB Term:  Term intersection
English Word: 

  actedIn

Sigma KEE - actedIn
actedIn

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20529-20530
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20527-20527 The number 1 argument of acted in is an instance of human
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20528-20528 The number 2 argument of acted in is an instance of content bearing physical
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20526-20526 acted in is an instance of binary predicate

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20531-20531
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 66233-66233

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20533-20539
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20541-20548


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