|
|
  Near
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Near ChineseLanguage "这个关系属于一般常识的邻近。注：如果一个物体在另外一个物体的 Near，那么这两个物体就不 connected。") | chinese_format.kif 3828-3829 | |
| (documentation Near EnglishLanguage "The relation of common sense adjacency. Note that, if an object is Near another object, then the objects are not connected.") | Merge.kif 16848-16849 | |
| (externalImage Near "http://upload.wikimedia.org/wikipedia/commons/0/03/ Trees_near_lake.jpg") | pictureList.kif 10154-10154 | |
| (externalImage Near "http://upload.wikimedia.org/wikipedia/commons/1/11/ Australian_Perentie_Land_Rover_and_MP_motorcycles.jpg") | pictureList.kif 11516-11516 | |
| (externalImage Near "http://upload.wikimedia.org/wikipedia/commons/5/55/ Boeing_EC-135J_refueling.JPEG") | pictureList.kif 11515-11515 | |
| (externalImage Near "http://upload.wikimedia.org/wikipedia/commons/7/73/ Persia_-_Achaemenian_Vessels.jpg") | pictureList.kif 11513-11513 | |
| (externalImage Near "http://upload.wikimedia.org/wikipedia/commons/b/b1/ Billiard_ball_comparison.jpg") | pictureList.kif 11517-11517 | |
| (externalImage Near "http://upload.wikimedia.org/wikipedia/commons/c/c2/ Klallam_people_near_canoe.jpg") | pictureList.kif 11512-11512 | |
| (externalImage Near "http://upload.wikimedia.org/wikipedia/commons/d/d8/ Clown_fish_swimming.jpg") | pictureList.kif 11514-11514 | |
| (instance Near SymmetricPositionalAttribute) | Merge.kif 16847-16847 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Near "近") | domainEnglishFormat.kif 40020-40020 | |
| (termFormat ChineseTraditionalLanguage Near "近") | domainEnglishFormat.kif 40019-40019 | |
| (termFormat EnglishLanguage Near "near") | domainEnglishFormat.kif 40018-40018 |
| antecedent |
|
|
| (=> (orientation ?OBJ1 ?OBJ2 Near) (not (connected ?OBJ1 ?OBJ2))) |
Merge.kif 16851-16854 | |
| (=> (orientation ?OBJ1 ?OBJ2 Near) (orientation ?OBJ2 ?OBJ1 Near)) |
Merge.kif 16856-16858 | |
| (=> (orientation ?ONE ?TWO Near) (orientation ?TWO ?ONE Near)) |
Geography.kif 727-729 |
| consequent |
|
|
| (<=> (orientation ?OBJ1 ?OBJ2 Adjacent) (or (orientation ?OBJ1 ?OBJ2 Near) (connected ?OBJ1 ?OBJ2))) |
Merge.kif 16822-16826 | |
| (=> (and (instance ?C InPersonCommunication) (agent ?C ?A1) (agent ?C ?A2) (not (equal ?A1 ?A2))) (holdsDuring ?C (orientation ?A1 ?A2 Near))) |
Media.kif 224-231 | |
| (=> (and (instance ?MEET Meeting) (agent ?MEET ?AGENT1) (agent ?MEET ?AGENT2)) (holdsDuring (WhenFn ?MEET) (orientation ?AGENT1 ?AGENT2 Near))) |
Merge.kif 13036-13041 | |
| (=> (and (instance ?X CarAlarm) (instance ?CAR SelfPoweredRoadVehicle) (part ?X ?CAR)) (hasPurpose ?X (=> (and (or (instance ?HARM Stealing) (instance ?HARM Damaging)) (instance ?THIEF Human) (agent ?HARM ?THIEF) (patient ?HARM ?CAR) (equal (WhenFn ?HARM) ?T) (eventPartlyLocated ?HARM ?L)) (exists (?ALARM) (and (instance ?ALARM RadiatingSound) (agent ?ALARM ?X) (causes ?HARM ?ALARM) (hasPurpose ?ALARM (increasesLikelihood (exists (?WITNESS) (and (instance ?WITNESS Human) (holdsDuring ?T (orientation ?WITNESS ?L Near)))) (or (knows ?WITNESS (exists (?H) (and (or (instance ?H Stealing) (instance ?H Damaging)) (eventPartlyLocated ?H ?L) (holdsDuring ?T (patient ?H ?CAR))))) (finishes (WhenFn ?ALARM) (WhenFn ?HARM)))))))))) |
Cars.kif 3714-3754 | |
| (=> (instance ?PORT PortCity) (exists (?SEA) (and (or (instance ?SEA Sea) (instance ?SEA Ocean)) (or (orientation ?PORT ?SEA Adjacent) (orientation ?PORT ?SEA Near))))) |
Transportation.kif 841-850 | |
| (=> (instance ?PORT SeaPort) (exists (?SEA) (and (or (instance ?SEA Sea) (instance ?SEA Ocean)) (or (orientation ?PORT ?SEA Adjacent) (orientation ?PORT ?SEA Near))))) |
Transportation.kif 873-882 | |
| (=> (instance ?Reef Reef) (exists (?Water) (and (instance ?Water WaterArea) (orientation ?Reef ?Water Near)))) |
Geography.kif 5839-5844 | |
| (=> (instance ?SIDE Sidewalk) (exists (?ROAD) (and (instance ?ROAD Roadway) (orientation ?SIDE ?ROAD Near)))) |
Mid-level-ontology.kif 15087-15092 | |
| (=> (instance ?X Checkpoint) (or (exists (?ROAD) (and (instance ?ROAD Road) (orientation ?ROAD ?X Near))) (exists (?REG1 ?REG2) (orientation (BorderFn ?REG1 ?REG2) ?X Near)))) |
Geography.kif 749-757 | |
| (=> (instance ?X Hammock) (and (material Fabric ?X) (exists (?POLE1 ?POLE2 ?GROUND) (and (orientation ?POLE1 ?POLE2 Near) (connected ?POLE1 ?X) (connected ?POLE2 ?X) (instance ?GROUND LandArea) (located ?X ?GROUND) (orientation ?X ?GROUND Above))))) |
Mid-level-ontology.kif 3905-3916 | |
| (=> (nearOrientation ?OBJ1 ?OBJ2) (exists (?X) (and (instance ?X ?OBJ2) (orientation ?OBJ1 ?X Near)))) |
Hotel.kif 888-893 | |
| (=> (neighbor ?PERSON1 ?PERSON2) (exists (?HOME1 ?HOME2) (and (home ?PERSON1 ?HOME1) (home ?PERSON2 ?HOME2) (not (equal ?HOME1 ?HOME2)) (orientation ?HOME1 ?HOME2 Near)))) |
Mid-level-ontology.kif 6331-6338 | |
| (=> (orientation ?OBJ1 ?OBJ2 Near) (orientation ?OBJ2 ?OBJ1 Near)) |
Merge.kif 16856-16858 | |
| (=> (orientation ?ONE ?TWO Near) (orientation ?TWO ?ONE Near)) |
Geography.kif 727-729 |
|
|
|
