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 | SelfConnectedObject ist eine teilkategorie von Object |
appearance as argument number 2 |
appearance as argument number 3 |
(domain BackFn 1 SelfConnectedObject) | Merge.kif 898-898 | Die Zahl 1 Argument von RueckseiteFn ist ein fall von SelfConnectedObject %n{nicht} |
(domain FrontFn 1 SelfConnectedObject) | Merge.kif 878-878 | Die Zahl 1 Argument von FrontseiteFn ist ein fall von SelfConnectedObject %n{nicht} |
(domain approximateDiameter 1 SelfConnectedObject) | Mid-level-ontology.kif 17940-17940 | Die Zahl 1 Argument von approximateDiameter ist ein fall von SelfConnectedObject %n{nicht} |
(domain bottom 1 SelfConnectedObject) | Merge.kif 9731-9731 | Die Zahl 1 Argument von bottom ist ein fall von SelfConnectedObject %n{nicht} |
(domain bottom 2 SelfConnectedObject) | Merge.kif 9732-9732 | Die Zahl 2 Argument von bottom ist ein fall von SelfConnectedObject %n{nicht} |
(domain capacity 1 SelfConnectedObject) | Mid-level-ontology.kif 6680-6680 | Die Zahl 1 Argument von capacity ist ein fall von SelfConnectedObject %n{nicht} |
(domain contains 1 SelfConnectedObject) | Merge.kif 1019-1019 | Die Zahl 1 Argument von contains ist ein fall von SelfConnectedObject %n{nicht} |
(domain height 1 SelfConnectedObject) | Merge.kif 7550-7550 | Die Zahl 1 Argument von height ist ein fall von SelfConnectedObject %n{nicht} |
(domain hole 2 SelfConnectedObject) | Merge.kif 995-995 | Die Zahl 2 Argument von hole ist ein fall von SelfConnectedObject %n{nicht} |
(domain memberAtTime 1 SelfConnectedObject) | Mid-level-ontology.kif 22698-22698 | Die Zahl 1 Argument von memberAtTime ist ein fall von SelfConnectedObject %n{nicht} |
(domain onboard 1 SelfConnectedObject) | Mid-level-ontology.kif 17400-17400 | Die Zahl 1 Argument von onboard ist ein fall von SelfConnectedObject %n{nicht} |
(domain side 1 SelfConnectedObject) | Merge.kif 9761-9761 | Die Zahl 1 Argument von side ist ein fall von SelfConnectedObject %n{nicht} |
(domain side 2 SelfConnectedObject) | Merge.kif 9762-9762 | Die Zahl 2 Argument von side ist ein fall von SelfConnectedObject %n{nicht} |
(domain surface 1 SelfConnectedObject) | Merge.kif 9699-9699 | Die Zahl 1 Argument von surface ist ein fall von SelfConnectedObject %n{nicht} |
(domain surface 2 SelfConnectedObject) | Merge.kif 9700-9700 | Die Zahl 2 Argument von surface ist ein fall von SelfConnectedObject %n{nicht} |
(domain top 1 SelfConnectedObject) | Merge.kif 9746-9746 | Die Zahl 1 Argument von top ist ein fall von SelfConnectedObject %n{nicht} |
(domain top 2 SelfConnectedObject) | Merge.kif 9747-9747 | Die Zahl 2 Argument von top ist ein fall von SelfConnectedObject %n{nicht} |
(domain weight 1 SelfConnectedObject) | Merge.kif 7284-7284 | Die Zahl 1 Argument von weight ist ein fall von SelfConnectedObject %n{nicht} |
(domainSubclass ingredientAmount 1 SelfConnectedObject) | Food.kif 1656-1656 | Die Zahl 1 Argument von ingredientAmount ist eine teilkategorie von SelfConnectedObject %n{nicht} |
(domainSubclass ingredientAmount 2 SelfConnectedObject) | Food.kif 1657-1657 | Die Zahl 2 Argument von ingredientAmount ist eine teilkategorie von SelfConnectedObject %n{nicht} |
(domainSubclass trafficableForTrafficType 2 SelfConnectedObject) | Transportation.kif 2605-2605 | Die Zahl 2 Argument von trafficableForTrafficType ist eine teilkategorie von SelfConnectedObject %n{nicht} |
(domainSubclass transitwayCapacityCount 2 SelfConnectedObject) | Transportation.kif 3036-3036 | Die Zahl 2 Argument von transitwayCapacityCount ist eine teilkategorie von SelfConnectedObject %n{nicht} |
(domainSubclass transitwayCapacityRate 2 SelfConnectedObject) | Transportation.kif 3046-3046 | Die Zahl 2 Argument von transitwayCapacityRate ist eine teilkategorie von SelfConnectedObject %n{nicht} |
antecedent |
consequent |
(=> (and (equal ?OBJ (MereologicalSumFn ?PART1 ?PART2)) (connected ?PART1 ?PART2)) (instance ?OBJ SelfConnectedObject)) |
Merge.kif 9543-9547 |
|
(=> (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 12497-12502 |
|
(=> (instance ?LABEL Label) (exists (?OBJ) (and (instance ?OBJ SelfConnectedObject) (connected ?LABEL ?OBJ) (refers ?LABEL ?OBJ)))) |
Mid-level-ontology.kif 14476-14482 |
|
(=> (instance ?SEPARATE Separating) (exists (?OBJ) (and (instance ?OBJ SelfConnectedObject) (patient ?SEPARATE ?OBJ)))) |
Merge.kif 12513-12518 |
|