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 22696-22698
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22699-22699	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 22700-22700	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 22701-22701	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 22695-22695	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 22703-22705	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 22707-22711	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 16816-16827

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