TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15344-15345
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15343-15343	Actor is an instance of entertainment profession
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15347-15347	Actor is a subattribute of Performer

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.

Biography.kif 514-514

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 15349-15351

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17165-17172	If a human &actedIn a content bearing physical. and a process is an instance of dramatic acting and the human is a patient of the process and the content bearing physical is a result of the process, then Actor is an attribute of the human holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15353-15359	If an entity is an instance of dramatic cast and another entity is a member of the entity holds during a time position, then Actor is an attribute of the other entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15361-15367	If a process is an instance of dramatic performance and an agent is an agent of the process, then Actor is an attribute of the agent holds during the time of existence of the process