dvi-vastu prakriyaa (DualObjectProcess)
Any Process that requires two,
nonidentical patients.
Ontology
SUMO / BASE-ONTOLOGYSuperclass(es)
Subclass(es)
swhaanaapanna
lena-dena
tulanaa
sanlagnana
vilagana
sanyojana
alagaava
Coordinate term(s)
sabhipraaya prakriyaa
aantarika parivartana
gati
aakaara parivartana
Axioms (1)
Agar process is an instance of dvi-vastu prakriyaa, to yah kuch obj1,obj2 nahin, ki obj1 is a patient of process aur obj2 is a patient of process aur obj1 is not equal to obj2.
(=>
(instance ?PROCESS DualObjectProcess)
(exists
(?OBJ1 ?OBJ2)
(and
(patient ?PROCESS ?OBJ1)
(patient ?PROCESS ?OBJ2)
(not
(equal ?OBJ1 ?OBJ2)))))