| appearance as argument number 1 |
|
| (documentation connected ChineseLanguage "(connected ?OBJ1 ?OBJ2)的意思是 ?OBJ1 meetsSpatially ?OBJ2 或者是 ?OBJ1 overlapsSpatially ?OBJ2。") | chinese_format.kif 2823-2824 | |
| (documentation connected EnglishLanguage "(connected ?OBJ1 ?OBJ2) means that ?OBJ1 meetsSpatially ?OBJ2 or that ?OBJ1 overlapsSpatially ?OBJ2.") | Merge.kif 8979-8980 | |
| (domain connected 1 Object) | Merge.kif 8976-8976 | |
| (domain connected 2 Object) | Merge.kif 8977-8977 | |
| (instance connected BinaryPredicate) | Merge.kif 8972-8972 | |
| (instance connected ReflexiveRelation) | Merge.kif 8974-8974 | |
| (instance connected SpatialRelation) | Merge.kif 8973-8973 | |
| (instance connected SymmetricRelation) | Merge.kif 8975-8975 |
| appearance as argument number 2 |
|
|
| (disjointRelation crosses connected) | Merge.kif 4060-4060 | |
| (format ChineseLanguage connected "%1 和 %2 %n 是 connected") | chinese_format.kif 361-361 | |
| (format EnglishLanguage connected "%1 is %n connected to %2") | english_format.kif 367-367 | |
| (relatedInternalConcept meetsSpatially connected) | Merge.kif 9026-9026 | |
| (subrelation connectedEngineeringComponents connected) | Merge.kif 14976-14976 | |
| (subrelation flows connected) | Geography.kif 5219-5219 | |
| (subrelation overlapsSpatially connected) | Merge.kif 9036-9036 | |
| (termFormat ChineseLanguage connected "相连") | chinese_format.kif 362-362 | |
| (termFormat ChineseLanguage connected "连接的") | domainEnglishFormat.kif 16629-16629 | |
| (termFormat ChineseTraditionalLanguage connected "連接的") | domainEnglishFormat.kif 16628-16628 | |
| (termFormat EnglishLanguage connected "connected") | domainEnglishFormat.kif 16627-16627 |
| antecedent |
|
|
| (=> (and (bottom ?BOTTOM ?OBJECT) (part ?PART ?OBJECT) (not (connected ?PART ?BOTTOM))) (orientation ?PART ?BOTTOM Above)) |
Merge.kif 9165-9170 | |
| (=> (and (connected ?X ?Y) (part ?Y ?Z)) (connected ?X ?Z)) |
Geography.kif 514-518 | |
| (=> (and (instance ?CHANNEL Channel) (instance ?BODY BodyOfWater) (connected ?CHANNEL ?BODY)) (larger ?BODY ?CHANNEL)) |
Geography.kif 5114-5119 | |
| (=> (and (instance ?SYSTEM InlandWaterSystem) (instance ?WATER1 WaterArea) (instance ?WATER2 WaterArea) (not (equal ?WATER1 ?WATER2)) (not (connected ?WATER1 ?WATER2)) (geographicSubregion ?WATER1 ?SYSTEM) (geographicSubregion ?WATER2 ?SYSTEM)) (exists (?WATER3) (and (instance ?WATER3 WaterArea) (not (equal ?WATER3 ?WATER1)) (not (equal ?WATER3 ?WATER1)) (part ?WATER3 ?SYSTEM) (connects ?WATER3 ?WATER1 ?WATER2)))) |
Geography.kif 5164-5179 | |
| (=> (and (properlyFills ?OBJ1 ?HOLE) (connected ?OBJ2 ?OBJ1)) (connected ?HOLE ?OBJ2)) |
Merge.kif 9502-9506 | |
| (=> (and (side ?SIDE ?OBJECT) (part ?PART ?OBJECT) (not (connected ?PART ?SIDE))) (exists (?DIRECT) (orientation ?SIDE ?PART ?DIRECT))) |
Merge.kif 9195-9201 | |
| (=> (and (top ?TOP ?OBJECT) (part ?PART ?OBJECT) (not (connected ?PART ?TOP))) (orientation ?PART ?TOP Below)) |
Merge.kif 9180-9185 | |
| (=> (connected ?OBJ1 ?OBJ2) (or (meetsSpatially ?OBJ1 ?OBJ2) (overlapsSpatially ?OBJ1 ?OBJ2))) |
Merge.kif 8982-8986 |
| consequent |
|
|
| (<=> (connects ?OBJ1 ?OBJ2 ?OBJ3) (and (connected ?OBJ1 ?OBJ2) (connected ?OBJ1 ?OBJ3) (not (connected ?OBJ2 ?OBJ3)))) |
Merge.kif 9010-9016 | |
| (<=> (instance ?OBJ SelfConnectedObject) (forall (?PART1 ?PART2) (=> (equal ?OBJ (MereologicalSumFn ?PART1 ?PART2)) (connected ?PART1 ?PART2)))) |
Merge.kif 8988-8993 | |
| (<=> (orientation ?OBJ1 ?OBJ2 Adjacent) (or (orientation ?OBJ1 ?OBJ2 Near) (connected ?OBJ1 ?OBJ2))) |
Merge.kif 15968-15972 | |
| (=> (and (connected ?X ?Y) (part ?Y ?Z)) (connected ?X ?Z)) |
Geography.kif 514-518 | |
| (=> (and (instance ?ATTACH Attaching) (patient ?ATTACH ?OBJ1) (patient ?ATTACH ?OBJ2)) (and (holdsDuring (BeginFn (WhenFn ?ATTACH)) (not (connected ?OBJ1 ?OBJ2))) (holdsDuring (EndFn (WhenFn ?ATTACH)) (connected ?OBJ1 ?OBJ2)))) |
Merge.kif 11520-11527 | |
| (=> (and (instance ?DETACH Detaching) (patient ?DETACH ?OBJ1) (patient ?DETACH ?OBJ2)) (and (holdsDuring (BeginFn (WhenFn ?DETACH)) (connected ?OBJ1 ?OBJ2)) (holdsDuring (EndFn (WhenFn ?DETACH)) (not (connected ?OBJ1 ?OBJ2))))) |
Merge.kif 11545-11552 | |
| (=> (and (instance ?DSAVE DataSaving) (resource ?DSAVE ?RES) (instance ?RES ElectronicDataStorageDevice)) (exists (?DEV) (and (instance ?DEV ElectricDevice) (instrument ?DSAVE ?DEV) (holdsDuring (WhenFn ?DSAVE) (connected ?RES ?DEV))))) |
Media.kif 690-700 | |
| (=> (and (instance ?PORT PortFacility) (capability ShipBerthing patient ?PORT)) (exists (?HARBOR) (and (instance ?HARBOR Harbor) (connected ?HARBOR ?PORT) (capability ShipBerthing path ?HARBOR)))) |
Transportation.kif 2956-2964 | |
| (=> (and (instance ?RIVER River) (instance ?WATER BodyOfWater) (flows ?RIVER ?WATER)) (exists (?MOUTH) (and (instance ?MOUTH RiverMouth) (streamOutfall ?MOUTH ?RIVER) (connected ?MOUTH ?WATER)))) |
Geography.kif 5443-5452 | |
| (=> (and (instance ?TOUCH Touching) (agent ?TOUCH ?OBJ1) (patient ?TOUCH ?OBJ2)) (and (holdsDuring (BeginFn (WhenFn ?TOUCH)) (not (connected ?OBJ1 ?OBJ2))) (holdsDuring (EndFn (WhenFn ?TOUCH)) (connected ?OBJ1 ?OBJ2)))) |
Merge.kif 10740-10747 | |
| (=> (and (instance ?W VehicleWheel) (instance ?V RoadVehicle) (part ?W ?V)) (exists (?A) (and (instance ?A Axle) (component ?A ?V) (connected ?W ?A)))) |
Mid-level-ontology.kif 3471-3480 | |
| (=> (and (properlyFills ?OBJ1 ?HOLE) (connected ?OBJ2 ?OBJ1)) (connected ?HOLE ?OBJ2)) |
Merge.kif 9502-9506 | |
| (=> (attribute ?X Locked) (exists (?LOCK ?CLOSE ?MOVE) (and (instance ?LOCK Lock) (connected ?LOCK ?X) (instance ?CLOSE Closing) (patient ?CLOSE ?LOCK) (instance ?MOVE Motion) (earlier (WhenFn ?CLOSE) (WhenFn (attribute ?X Locked))) (holdsDuring (WhenFn (attribute ?X Locked)) (not (modalAttribute (patient ?MOVE ?X) Possibility)))))) |
Mid-level-ontology.kif 2634-2650 | |
| (=> (attribute ?X PartialVacuum) (exists (?O ?G) (and (instance ?O SelfConnectedObject) (instance ?G Region) (not (equal ?G ?X)) (connected ?X ?O) (connected ?G ?O) (measure ?G (MeasureFn ?P1 ?PM)) (measure ?X (MeasureFn ?P2 ?PM)) (instance ?PM UnitOfAtmosphericPressure) (greaterThan ?P1 ?P2)))) |
Cars.kif 383-396 | |
| (=> (attribute ?X Pressurized) (exists (?O ?G) (and (instance ?O SelfConnectedObject) (instance ?G Region) (not (equal ?G ?X)) (connected ?X ?O) (connected ?G ?O) (measure ?G (MeasureFn ?P1 ?PM)) (measure ?X (MeasureFn ?P2 ?PM)) (instance ?PM UnitOfAtmosphericPressure) (greaterThan ?P2 ?P1)))) |
Cars.kif 403-416 | |
| (=> (completelyFills ?OBJ1 ?HOLE) (forall (?OBJ2) (=> (connected ?OBJ2 ?HOLE) (connected ?OBJ2 ?OBJ1)))) |
Merge.kif 9495-9500 | |
| (=> (equipmentType ?O ?T) (exists (?D) (and (instance ?D ?T) (or (part ?D ?O) (connected ?D ?O))))) |
Mid-level-ontology.kif 20570-20577 | |
| (=> (flows ?FLUID1 ?FLUID2) (connected ?FLUID1 ?FLUID2)) |
Geography.kif 5225-5227 | |
| (=> (hole ?HOLE ?OBJ) (connected ?HOLE ?OBJ)) |
Merge.kif 9382-9384 | |
| (=> (instance ?F Fireplace) (exists (?C) (and (instance ?C Chimney) (connected ?F ?C)))) |
Mid-level-ontology.kif 12098-12103 | |
| (=> (instance ?GULF Gulf) (exists (?SEA) (and (or (instance ?SEA Sea) (instance ?SEA Ocean)) (connected ?GULF ?SEA)))) |
Geography.kif 4913-4920 | |
| (=> (instance ?I Intestine) (exists (?S) (and (instance ?S Stomach) (connected ?I ?S)))) |
Mid-level-ontology.kif 9179-9184 | |
| (=> (instance ?INLET Inlet) (exists (?WATER) (and (instance ?WATER WaterArea) (connected ?INLET ?WATER)))) |
Geography.kif 5016-5021 | |
| (=> (instance ?LABEL Label) (exists (?OBJ) (and (instance ?OBJ SelfConnectedObject) (connected ?LABEL ?OBJ) (refers ?LABEL ?OBJ)))) |
Mid-level-ontology.kif 11258-11264 | |
| (=> (instance ?NA NetworkAdapter) (exists (?Net) (and (instance ?Net ComputerNetwork) (connected ?NA ?Net)))) |
QoSontology.kif 829-834 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| appearance as argument number 0 |
|
|
| (connected GulfOfAden ArabianSea) | Geography.kif 4953-4953 | |
| (connected GulfOfMexico CaribbeanSea) | Geography.kif 4961-4961 | |
| (connected GulfOfMexico NorthAtlanticOcean) | Geography.kif 4960-4960 | |
| (connected GulfOfOman ArabianSea) | Geography.kif 4945-4945 | |
| (connected IndianOcean PersianGulf) | Geography.kif 4446-4446 | |
| (connected IndianOcean SouthPacificOcean) | Geography.kif 4445-4445 | |
| (connected IndianOcean SouthernOcean) | Geography.kif 4447-4447 | |
| (connected MississippiRiver GulfOfMexico) | CountriesAndRegions.kif 744-744 | |
| (connected PersianGulf StraitOfHormuz) | Geography.kif 4938-4938 | |
| (connected RedSea GulfOfAden) | Geography.kif 4952-4952 | |
| (connected StraitOfHormuz GulfOfOman) | Geography.kif 4944-4944 |
|
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