On - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - On

On(on)

aboveground, ahorse, ahorseback, cap, capped, crest, crowned, grade-constructed, horseback, overlying, superimposed, superincumbent, surface, surmount, surmounted

appearance as argument number 1

(documentation On ChineseLanguage "这是用来表示一个物体在另外一个物体的上面，这是一个由上/下模式所衍生和涉及接触的位置关系")	chinese_format.kif 3830-3831
(documentation On EnglishLanguage "This is used to assert that an object is on top of another object, and it is derived from the up/ down schema and involves contact.")	Merge.kif 17213-17215
(externalImage On "http://upload.wikimedia.org/wikipedia/commons/e/e4/Pink_and_grey_galahs_on_power_lines.jpg")	pictureList.kif 10165-10165
(instance On AntiSymmetricPositionalAttribute)	Merge.kif 17212-17212	On is an instance of anti-symmetric positional attribute

appearance as argument number 2

(termFormat ChineseLanguage On "上")	domainEnglishFormat.kif 42146-42146
(termFormat ChineseTraditionalLanguage On "上")	domainEnglishFormat.kif 42145-42145
(termFormat EnglishLanguage On "on")	domainEnglishFormat.kif 42144-42144
(termFormat tg On "sa ibabaw")	terms-tg.txt 539-539

antecedent

(=> (and (holdsDuring ?T (and (attribute ?H LateralRecumbant) (orientation ?H ?O On))) (instance ?LA LeftArm) (part ?LA ?H) (instance ?RA RightArm) (part ?RA ?H) (instance ?LL LeftLeg) (part ?LL ?H) (instance ?RL RightLeg) (part ?RL ?H) (or (meetsSpatially ?LA ?O) (meetsSpatially ?LL ?O))) (holdsDuring ?T (and (not (meetsSpatially ?RA ?O)) (not (meetsSpatially ?RL ?O)))))	Anatomy.kif 1838-1860	If lateral recumbant is an attribute of an object and the object is on to another object holds during a time position and a third object is an instance of left arm and the third object is a part of the object and a fourth object is an instance of right arm and the fourth object is a part of the object and a fifth object is an instance of left leg and the fifth object is a part of the object and a sixth object is an instance of right leg and the sixth object is a part of the object and the third object meets the other object or the fifth object meets the other object, then the fourth object doesn't meet the other object and the sixth object doesn't meet the other object holds during the time position
(=> (and (holdsDuring ?T (and (attribute ?H LateralRecumbant) (orientation ?H ?O On))) (instance ?LA LeftArm) (part ?LA ?H) (instance ?RA RightArm) (part ?RA ?H) (instance ?LL LeftLeg) (part ?LL ?H) (instance ?RL RightLeg) (part ?RL ?H) (or (meetsSpatially ?RA ?O) (meetsSpatially ?RL ?O))) (holdsDuring ?T (and (not (meetsSpatially ?LA ?O)) (not (meetsSpatially ?LL ?O)))))	Anatomy.kif 1862-1884	If lateral recumbant is an attribute of an object and the object is on to another object holds during a time position and a third object is an instance of left arm and the third object is a part of the object and a fourth object is an instance of right arm and the fourth object is a part of the object and a fifth object is an instance of left leg and the fifth object is a part of the object and a sixth object is an instance of right leg and the sixth object is a part of the object and the fourth object meets the other object or the sixth object meets the other object, then the third object doesn't meet the other object and the fifth object doesn't meet the other object holds during the time position
(=> (and (holdsDuring ?T (and (attribute ?H Prone) (orientation ?H ?O On))) (instance ?C Chest) (part ?C ?H)) (meetsSpatially ?C ?O))	Anatomy.kif 1799-1807	If prone is an attribute of an object and the object is on to another object holds during a time position and a third object is an instance of chest and the third object is a part of the object, then the third object meets the other object
(=> (and (holdsDuring ?T (and (attribute ?H Supine) (orientation ?H ?O On))) (equal ?B (BackFn ?H))) (meetsSpatially ?B ?O))	Anatomy.kif 1814-1821	If supine is an attribute of a self connected object and the self connected object is on to an object holds during a time position and another self connected object is equal to the back of the self connected object, then the other self connected object meets the object
(=> (and (instance ?T Transfer) (objectTransferred ?T ?O) (orientation ?O2 ?O On)) (objectTransferred ?T ?O2))	Merge.kif 11405-11410	If a transfer is an instance of transfer and the object transferred in the transfer is an object and the object2 is on to the object, then the object transferred in the transfer is the object2
(=> (orientation ?OBJ1 ?OBJ2 On) (connected ?OBJ1 ?OBJ2))	Merge.kif 17217-17219	If an object is on to another object, then the object is connected to the other object
(=> (orientation ?OBJ1 ?OBJ2 On) (located ?OBJ1 ?OBJ2))	Merge.kif 17221-17223	If an object is on to another object, then the object is located at the other object
(=> (orientation ?OBJ1 ?OBJ2 On) (not (orientation ?OBJ2 ?OBJ1 On)))	Merge.kif 17229-17232	If an object is on to another object, then the other object is not on to the object

consequent

(<=> (orientation ?OBJ1 ?OBJ2 Below) (or (orientation ?OBJ2 ?OBJ1 On) (orientation ?OBJ2 ?OBJ1 Above)))	Merge.kif 17162-17166	An object is below to another object if and only if the other object is on to the object or the other object is above to the object
(=> (and (attribute ?X ?SHAPE) (instance ?X FourPosterBed) (instance ?SHAPE Quadrilateral) (sideOfFigure ?SIDE1 ?SHAPE) (sideOfFigure ?SIDE2 ?SHAPE) (not (equal ?SIDE1 ?SIDE2))) (exists (?POST ?FLOOR ?CORNER1 ?CORNER) (and (part ?POST ?X) (instance ?FLOOR Floor) (orientation ?X ?FLOOR On) (orientation ?POST ?FLOOR Vertical) (pointOfIntersection ?SIDE1 ?SIDE2 ?CORNER1) (attribute ?CORNER ?CORNER1) (meetsSpatially ?CORNER ?POST))))	Mid-level-ontology.kif 4071-4088	If a geometric figure is an attribute of an object and the object is an instance of four-poster bed and the geometric figure is an instance of quadrilateral and the size of the geometric figure is an one dimensional figure and the size of the geometric figure is another one dimensional figure and the one dimensional figure is not equal to the other one dimensional figure, then there exist another object, a third object,, , a geometric point and a fourth object such that the other object is a part of the object and the third object is an instance of floor and the object is on to the third object and the other object is vertical to the third object and the one dimensional figure is point of intersection the other one dimensional figure for the geometric point and the geometric point is an attribute of the fourth object and the fourth object meets the other object
(=> (and (instance ?D Dismounting) (agent ?D ?A) (patient ?D ?O)) (and (holdsDuring (BeginFn (WhenFn ?D)) (orientation ?A ?O On)) (holdsDuring (EndFn (WhenFn ?D)) (not (orientation ?A ?O On)))))	Mid-level-ontology.kif 20261-20273	If a process is an instance of dismounting and an agent is an agent of the process and an entity is a patient of the process, then the agent is on to the entity holds during the beginning of the time of existence of the process and the agent is not on to the entity holds during the end of the time of existence of the process
(=> (and (instance ?M Mounting) (agent ?M ?A) (patient ?M ?O)) (and (holdsDuring (BeginFn (WhenFn ?M)) (not (orientation ?A ?O On))) (holdsDuring (EndFn (WhenFn ?M)) (orientation ?A ?O On))))	Mid-level-ontology.kif 462-473	If a process is an instance of mounting and an agent is an agent of the process and an entity is a patient of the process, then the agent is not on to the entity holds during the beginning of the time of existence of the process and the agent is on to the entity holds during the end of the time of existence of the process
(=> (and (instance ?X Bed) (component ?BEDFRAME ?X) (instance ?BEDFRAME BedFrame) (component ?MATTRESS ?X) (instance ?MATTRESS Mattress)) (orientation ?MATTRESS ?BEDFRAME On))	Mid-level-ontology.kif 4047-4054	If a corpuscular object is an instance of bed and another corpuscular object is a component of the corpuscular object and the other corpuscular object is an instance of bed frame and a third corpuscular object is a component of the corpuscular object and the third corpuscular object is an instance of mattress, then the third corpuscular object is on to the other corpuscular object
(=> (instance ?ATV AllTerrainVehicle) (hasPurpose ?ATV (exists (?D ?L) (and (instance ?D Transportation) (instrument ?D ?ATV) (holdsDuring (WhenFn ?D) (orientation ?ATV ?L On)) (not (instance ?L Roadway))))))	Cars.kif 4753-4763	If a physical is an instance of all-terrain vehicle, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of transportation and the physical is an instrument for the entity and the physical is on to the other entity holds during the time of existence of the entity and the other entity is not an instance of roadway
(=> (instance ?BOARD IroningBoard) (hasPurpose ?BOARD (exists (?IRON ?FABRIC ?OBJ) (and (instance ?IRON Ironing) (patient ?IRON ?OBJ) (part ?FABRIC ?OBJ) (instance ?FABRIC Fabric) (holdsDuring (WhenFn ?IRON) (orientation ?OBJ ?BOARD On))))))	Mid-level-ontology.kif 25490-25501	If a physical is an instance of ironing board, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of ironing and the third entity is a patient of the entity and the other entity is a part of the third entity and the other entity is an instance of fabric and the third entity is on to the physical holds during the time of existence of the entity
(=> (instance ?LAND SubmergedLandArea) (exists (?WATER) (and (instance ?WATER WaterArea) (orientation ?LAND ?WATER Below) (orientation ?WATER ?LAND On) (meetsSpatially ?LAND ?WATER))))	Geography.kif 6072-6079	If an object is an instance of submerged land area, then there exists another object such that the other object is an instance of water area and the object is below to the other object and the other object is on to the object and the object meets the other object
(=> (instance ?MAT PrayerMat) (hasPurpose ?MAT (exists (?PRAY ?PERSON) (and (instance ?PRAY Praying) (agent ?PRAY ?PERSON) (instance ?PERSON Human) (holdsDuring (WhenFn ?PRAY) (orientation ?PERSON ?MAT On))))))	Mid-level-ontology.kif 26123-26132	If a physical is an instance of prayer mat, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of praying and the other entity is an agent of the entity and the other entity is an instance of human and the other entity is on to the physical holds during the time of existence of the entity
(=> (instance ?PARK StreetParking) (exists (?STREET) (and (instance ?STREET Street) (orientation ?PARK ?STREET On))))	TransportDetail.kif 70-75	If an object is an instance of street parking, then there exists another object such that the other object is an instance of street and the object is on to the other object
(=> (instance ?X Mattress) (hasPurpose ?X (exists (?PERSON) (and (attribute ?PERSON Asleep) (orientation ?PERSON ?X On)))))	Mid-level-ontology.kif 4034-4040	If a physical is an instance of mattress, then the physical has the purpose there exists an entity such that asleep is an attribute of the entity and the entity is on to the physical
(=> (onOrientation ?OBJ1 ?OBJ2) (exists (?X) (and (instance ?X ?OBJ2) (orientation ?OBJ1 ?X On))))	Hotel.kif 925-930	If an object is on a kind of physical, then there exists another object such that the other object is an instance of a kind of physical and the object is on to the other object
(=> (orientation ?OBJ1 ?OBJ2 On) (not (orientation ?OBJ2 ?OBJ1 On)))	Merge.kif 17229-17232	If an object is on to another object, then the other object is not on to the 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