objectAttached - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - objectAttached

objectAttached

appearance as argument number 1

(documentation objectAttached EnglishLanguage "Relates an object that is attached to the Process of Attaching.")	Merge.kif 12515-12516
(domain objectAttached 1 Process)	Merge.kif 12513-12513	The number 1 argument of attached is an instance of process
(domain objectAttached 2 Entity)	Merge.kif 12514-12514	The number 2 argument of attached is an instance of entity
(instance objectAttached CaseRole)	Merge.kif 12511-12511	attached is an instance of case role
(subrelation objectAttached patient)	Merge.kif 12512-12512	attached is a subrelation of patient

appearance as argument number 2

(format EnglishLanguage objectAttached "%1 attaches %2 to another object")	Merge.kif 12518-12518
(termFormat EnglishLanguage objectAttached "attached")	Merge.kif 12517-12517

consequent

(=> (and (instance ?A Attaching) (patient ?A ?O1) (patient ?A ?O2) (holdsDuring (BeginFn (WhenFn ?A)) (not (connected ?O1 ?O2))) (holdsDuring (EndFn (WhenFn ?A)) (connected ?O1 ?O2))) (and (objectAttached ?A ?O1) (objectAttached ?A ?O2)))	Merge.kif 12520-12534	If a process is an instance of attaching and an entity is a patient of the process and another entity is a patient of the process and the entity is not connected to the other entity holds during the beginning of the time of existence of the process and the entity is connected to the other entity holds during the end of the time of existence of the process, then the process attaches the entity to another object and the process attaches the other entity to another object
(=> (instance ?F Fertilisation) (exists (?G1 ?G2) (and (instance ?G1 Gamete) (instance ?G2 Gamete) (not (equal ?G1 ?G2)) (objectAttached ?F ?G1) (objectAttached ?F ?G2))))	Mid-level-ontology.kif 25642-25651	If a process is an instance of conceiving, then there exist an entity and another entity such that the entity is an instance of gamete and the other entity is an instance of gamete and the entity is not equal to the other entity and the process attaches the entity to another object and the process attaches the other entity to another object

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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