| SelfConnectedObject | |
| appearance as argument number 1 |
|
|
| (documentation SelfConnectedObject ChineseLanguage " SelfConnectedObject 是任何并非由两个或以上不相连部分所组成的 Object。") | chinese_format.kif 1555-1556 | |
| (documentation SelfConnectedObject EnglishLanguage "A SelfConnectedObject is any Object that does not consist of two or more disconnected parts.") | Merge.kif 864-865 | |
| (documentation SelfConnectedObject JapaneseLanguage "SelfConnectedObject は任意の Object で、2つ以上の切断されたパーツで構成されていない。") | japanese_format.kif 126-127 | |
| (documentation SelfConnectedObject SpanishLanguage "Un SelfConnectedObject es cualquier Object que no consiste en dos o más partes desconectadas.") | spanish_format.kif 146-147 | |
| (subclass SelfConnectedObject Object) | Merge.kif 862-862 |
| appearance as argument number 2 |
|
|
| (disjoint Collection SelfConnectedObject) | Merge.kif 1262-1262 | |
| (range BackFn SelfConnectedObject) | Merge.kif 899-899 | |
| (range FrontFn SelfConnectedObject) | Merge.kif 879-879 | |
| (rangeSubclass FoodForFn SelfConnectedObject) | Merge.kif 14829-14829 | |
| (subclass BodyOfWater SelfConnectedObject) | Geography.kif 4470-4470 | |
| (subclass CorpuscularObject SelfConnectedObject) | Merge.kif 1226-1226 | |
| (subclass Food SelfConnectedObject) | Merge.kif 14844-14844 | |
| (subclass Iceberg SelfConnectedObject) | Geography.kif 4701-4701 | |
| (subclass OrganicThing SelfConnectedObject) | Merge.kif 867-867 | |
| (subclass Ramp SelfConnectedObject) | Mid-level-ontology.kif 2333-2333 | |
| (subclass ShipContainer SelfConnectedObject) | Transportation.kif 2574-2574 | |
| (subclass Substance SelfConnectedObject) | Merge.kif 1041-1041 | |
| (subclass Transitway SelfConnectedObject) | Merge.kif 14236-14236 | |
| (termFormat ChineseLanguage SelfConnectedObject "自身连接物体") | chinese_format.kif 816-816 | |
| (termFormat EnglishLanguage SelfConnectedObject "self connected object") | english_format.kif 834-834 | |
| (termFormat FrenchLanguage SelfConnectedObject "objet en une partie") | french_format.kif 492-492 | |
| (termFormat Hindi SelfConnectedObject "aatmasambaddha vastu") | terms-hindi.txt 25-25 | |
| (termFormat ItalianLanguage SelfConnectedObject "OggettoIntegro") | terms-it.txt 28-28 | |
| (termFormat JapaneseLanguage SelfConnectedObject "自己接続オブジェクト") | japanese_format.kif 2177-2177 | |
| (termFormat PortugueseLanguage SelfConnectedObject "Objeto auto-conectado") | portuguese_format.kif 444-444 | |
| (termFormat cb SelfConnectedObject "kaugalingong pagsumpay pagtutol") | terms-cb.txt 29-29 | |
| (termFormat cz SelfConnectedObject "self connected object") | terms-cz.txt 59-59 | |
| (termFormat ro SelfConnectedObject "obiect indivizibil") | relations-ro.kif 513-513 | |
| (termFormat tg SelfConnectedObject "bagay na nakakabit sa sarili") | terms-tg.txt 29-29 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| appearance as argument number 3 |
|
|
| antecedent |
|
|
| (=> (and (instance ?OBJ SelfConnectedObject) (equal ?OBJ (MereologicalSumFn ?PART1 ?PART2))) (connected ?PART1 ?PART2)) |
Merge.kif 9515-9519 | |
| (=> (and (instance ?SCO SelfConnectedObject) (instance ?C Compressing) (patient ?C ?SCO) (holdsDuring (ImmediatePastFn (WhenFn ?C)) (measure ?SCO (MeasureFn ?N1 ?V))) (instance ?V UnitOfVolume) (holdsDuring (ImmediateFutureFn (WhenFn ?C)) (measure ?SCO (MeasureFn ?N2 ?V)))) (greaterThan ?N1 ?N2)) |
Cars.kif 1987-1999 | |
| (=> (and (maximumPayloadCapacity ?V (MeasureFn ?WEIGHT ?UNITWEIGHT)) (maximumPayloadHeightWidth ?V (MeasureFn ?HEIGHT ?UNITHEIGHT) (MeasureFn ?WIDTH ?UNITWIDTH)) (instance ?O SelfConnectedObject) (weight ?O (MeasureFn ?WEO ?WEOU)) (width ?O (MeasureFn ?WO ?WOU)) (height ?O (MeasureFn ?HO ?HOU)) (equal ?WEOU ?UNITWEIGHT) (equal ?WOU ?UNITWIDTH) (equal ?HOU ?UNITHEIGHT) (lessThanOrEqualTo ?WEO ?WEIGHT) (lessThanOrEqualTo ?WO ?WIDTH) (lessThanOrEqualTo ?HO ?HEIGHT)) (capability (KappaFn ?TRANSPORT (and (instance ?TRANSPORT Transportation) (patient ?TRANSPORT ?O))) instrument ?V)) |
MilitaryDevices.kif 144-169 | |
| (=> (and (meceCollection ?COLL1 ?COLL2) (instance ?COLL3 Collection) (instance ?COLL4 Collection) (instance ?MEMBER SelfConnectedObject) (member ?MEMBER ?COLL1) (member ?COLL3 ?COLL2) (member ?COLL4 ?COLL2) (not (equal ?COLL3 ?COLL4))) (not (and (member ?MEMBER ?COLL3) (member ?MEMBER ?COLL4)))) |
UXExperimentalTerms.kif 4646-4660 | |
| (=> (and (meceCollection ?COLL1 ?COLL2) (member ?MEMBER ?COLL1) (instance ?MEMBER SelfConnectedObject)) (exists (?COLL3) (and (instance ?COLL3 Collection) (member ?MEMBER ?COLL3) (member ?COLL3 ?COLL2)))) |
UXExperimentalTerms.kif 4635-4644 | |
| (=> (and (meceCollection ?COLL1 ?COLL2) (member ?MEMBER ?COLL2) (instance ?MEMBER SelfConnectedObject)) (instance ?MEMBER Collection)) |
UXExperimentalTerms.kif 4628-4633 | |
| (=> (instance ?OBJ SelfConnectedObject) (side (BackFn ?OBJ) ?OBJ)) |
Merge.kif 910-912 | |
| (=> (instance ?OBJ SelfConnectedObject) (side (FrontFn ?OBJ) ?OBJ)) |
Merge.kif 891-893 |
| consequent |
|
|
| (=> (and (equal ?OBJ (MereologicalSumFn ?PART1 ?PART2)) (connected ?PART1 ?PART2)) (instance ?OBJ SelfConnectedObject)) |
Merge.kif 9521-9525 | |
| (=> (attribute ?X PartialVacuum) (exists (?O ?G ?P1 ?P2 ?PM) (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 ?P1 ?P2 ?PM) (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 | |
| (=> (instance ?COMBINE Combining) (exists (?OBJ) (and (instance ?OBJ SelfConnectedObject) (patient ?COMBINE ?OBJ)))) |
Merge.kif 12445-12450 | |
| (=> (instance ?LABEL Label) (exists (?OBJ) (and (instance ?OBJ SelfConnectedObject) (connected ?LABEL ?OBJ) (refers ?LABEL ?OBJ)))) |
Mid-level-ontology.kif 14449-14455 | |
| (=> (instance ?SEPARATE Separating) (exists (?OBJ) (and (instance ?OBJ SelfConnectedObject) (patient ?SEPARATE ?OBJ)))) |
Merge.kif 12461-12466 |
|
|
|