TreeView Knowledge Base Browser - playsRoleInEventOfType

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

playsRoleInEventOfType

Sigma KEE - playsRoleInEventOfType

playsRoleInEventOfType

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23276-23278
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23270-23270	Le nombre 1 argument de playsRoleInEventOfType est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23271-23271	Le nombre 2 argument de playsRoleInEventOfType est une instance de r�le d�pendant du cas
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23273-23273	Le nombre 4 argument de playsRoleInEventOfType est une instance de position temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23274-23274	Le nombre 5 argument de playsRoleInEventOfType est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23272-23272	Le nombre 3 argument de playsRoleInEventOfType est une sous-classe de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23269-23269	playsRoleInEventOfType est une instance de predicate quinternaire

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1971-1971
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1970-1970
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1969-1969
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46278-46278
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46277-46277
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46276-46276

antecedent

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

Mid-level-ontology.kif 23280-23287

playsRoleInEventOfType objet, r�le d�pendant du cas, processus, position temporel and objet
processus processus est une instance de processus processus existe pendant position temporel eventLocated processus and objet playsRoleInEvent objet, r�le d�pendant du cas and processus

consequent

No TPTP formula. May not be expressible in strict first order.	Justice.kif 26-28	detainedAtTimeInPlace sentient agent, position temporel and objet playsRoleInEventOfType sentient agent, detainee, confiner, position temporel and objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23260-23267	playsRoleInEvent objet, r�le d�pendant du cas and processus processus est une instance de processus processus est une sous-classe de processus processus existe pendant position temporel eventLocated processus and objet playsRoleInEventOfType objet, r�le d�pendant du cas, processus, position temporel and objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23289-23296	playsRoleInEvent objet, r�le d�pendant du cas and processus processus est une instance de processus processus est une sous-classe de processus processus existe pendant position temporel eventLocated processus and objet playsRoleInEventOfType objet, r�le d�pendant du cas, processus, position temporel and objet
No TPTP formula. May not be expressible in strict first order.	Justice.kif 75-77	observedAtTimeInPlace objet, AutonomousAgent, position temporel and objet playsRoleInEventOfType AutonomousAgent, agent, voir, position temporel and objet
No TPTP formula. May not be expressible in strict first order.	Justice.kif 71-73	observedAtTimeInPlace objet, AutonomousAgent, position temporel and objet playsRoleInEventOfType objet, patient, voir, position temporel and objet

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