TreeView Knowledge Base Browser - memberAtTime

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - memberAtTime

memberAtTime

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22695-22697
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22698-22698	Le nombre 1 argument de memberAtTime est une instance de objet en une partie
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22699-22699	Le nombre 2 argument de memberAtTime est une instance de collection
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22700-22700	Le nombre 3 argument de memberAtTime est une instance de position temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22694-22694	memberAtTime est une instance de pr�dicat ternaire

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 155-155
No TPTP formula. May not be expressible in strict first order.	english_format.kif 156-156
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1926-1926
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 156-156
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36995-36995
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36994-36994
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36993-36993

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22702-22704	memberAtTime objet en une partie, collection and position temporel objet en une partie est un membre de collection pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22706-22710	locatedAtTime collection, position temporel and objet memberAtTime objet en une partie, collection and position temporel locatedAtTime objet en une partie, position temporel and objet

consequent

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

Mid-level-ontology.kif 16815-16826

classmate humain, humain and EducationalCourse
collection processus and position temporel collection est une instance de GroupOfPeople processus est une instance de processus educationnel processus exprime le contenu de EducationalCourse collection est un patient de processus position temporel est une partie de temps d'existence de processus memberAtTime humain, collection and position temporel memberAtTime humain, collection and position temporel

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