TreeView Knowledge Base Browser - 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

(disjoint Collection SelfConnectedObject)	Merge.kif 1262-1262	Collection ist dijunkt von SelfConnectedObject %n{nicht}
(range BackFn SelfConnectedObject)	Merge.kif 899-899	bildbereich von RueckseiteFn ist ein fall von SelfConnectedObject {nicht}
(range FrontFn SelfConnectedObject)	Merge.kif 879-879	bildbereich von FrontseiteFn ist ein fall von SelfConnectedObject {nicht}
(rangeSubclass FoodForFn SelfConnectedObject)	Merge.kif 14881-14881	Die werte die FoodForFn zurueckgibt sind teilkategorien von SelfConnectedObject
(subclass BodyOfWater SelfConnectedObject)	Geography.kif 4492-4492	BodyOfWater ist eine teilkategorie von SelfConnectedObject
(subclass CorpuscularObject SelfConnectedObject)	Merge.kif 1226-1226	CorpuscularObject ist eine teilkategorie von SelfConnectedObject
(subclass Food SelfConnectedObject)	Merge.kif 14896-14896	Food ist eine teilkategorie von SelfConnectedObject
(subclass Iceberg SelfConnectedObject)	Geography.kif 4723-4723	Iceberg ist eine teilkategorie von SelfConnectedObject
(subclass OrganicThing SelfConnectedObject)	Merge.kif 867-867	OrganicThing ist eine teilkategorie von SelfConnectedObject
(subclass Ramp SelfConnectedObject)	Mid-level-ontology.kif 2361-2361	Ramp ist eine teilkategorie von SelfConnectedObject
(subclass ShipContainer SelfConnectedObject)	Transportation.kif 2574-2574	ShipContainer ist eine teilkategorie von SelfConnectedObject
(subclass Substance SelfConnectedObject)	Merge.kif 1041-1041	Substance ist eine teilkategorie von SelfConnectedObject
(subclass Transitway SelfConnectedObject)	Merge.kif 14288-14288	Transitway ist eine teilkategorie von SelfConnectedObject
(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

(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

(=> (and (instance ?OBJ SelfConnectedObject) (equal ?OBJ (MereologicalSumFn ?PART1 ?PART2))) (connected ?PART1 ?PART2))	Merge.kif 9537-9541	Wenn Object ist ein fall von SelfConnectedObject %n{nicht} und Object ist gleich die vereinigung von den teilen von Object und Object %n{nicht}, dann Object wird an ** Object angeschlossen
(=> (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 1993-2005	Wenn Entity ist ein fall von SelfConnectedObject %n{nicht} und Process ist ein fall von Compressing %n{nicht} und Entity ist ein patient von Process %n{nicht} und das mass von Entity ist RealNumber Entity(s) %n{nicht} haelt waehrend direkt vor die zeit des Bestehens von Process %n{nicht} und Entity ist ein fall von UnitOfVolume %n{nicht} und das mass von Entity ist RealNumber Entity(s) %n{nicht} haelt waehrend sofort nach die zeit des Bestehens von Process %n{nicht}, dann RealNumber ist groesserAls ** RealNumber %n{nicht}
(=> (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	Wenn maximumPayloadCapacity Vehicle and RealNumber UnitOfMeasure(s) und maximumPayloadHeightWidth Vehicle, RealNumber UnitOfMeasure(s) and RealNumber UnitOfMeasure(s) und SelfConnectedObject ist ein fall von SelfConnectedObject %n{nicht} und weight SelfConnectedObject and RealNumber RealNumberU(s) und die breite von SelfConnectedObject ist RealNumber RealNumberU(s) %n{nicht} und die hoehe von SelfConnectedObject ist RealNumber RealNumberU(s) %n{nicht} und RealNumberU ist gleich UnitOfMeasure %n{nicht} und RealNumberU ist gleich UnitOfMeasure %n{nicht} und RealNumberU ist gleich UnitOfMeasure %n{nicht} und RealNumber ist kleinerAlsOderGleich RealNumber %n{nicht} und RealNumber ist kleinerAlsOderGleich RealNumber %n{nicht} und RealNumber ist kleinerAlsOderGleich RealNumber %n{nicht}, dann Vehicle ist faehig %n{nicht}, in der Rolle instrument die kategorie die SymbolicString beschreibt zu tun
(=> (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 4638-4652	Wenn meceCollection Collection and Collection und Collection ist ein fall von Collection %n{nicht} und Collection ist ein fall von Collection %n{nicht} und Physical ist ein fall von SelfConnectedObject %n{nicht} und Physical ist ein Mitglied von Collection %n{nicht} und Collection ist ein Mitglied von Collection %n{nicht} und Collection ist ein Mitglied von Collection %n{nicht} und Collection ist gleich Collection nicht, dann ~{ Physical ist ein Mitglied von Collection %n{nicht} } oder ~{ Physical ist ein Mitglied von ** Collection %n{nicht} }
(=> (and (meceCollection ?COLL1 ?COLL2) (member ?MEMBER ?COLL1) (instance ?MEMBER SelfConnectedObject)) (exists (?COLL3) (and (instance ?COLL3 Collection) (member ?MEMBER ?COLL3) (member ?COLL3 ?COLL2))))	UXExperimentalTerms.kif 4627-4636	Wenn meceCollection Collection and Collection und Physical ist ein Mitglied von Collection %n{nicht} und Physical ist ein fall von SelfConnectedObject %n{nicht}, dann es gibt Collection um Collection ist ein fall von Collection %n{nicht} und Physical ist ein Mitglied von Collection %n{nicht} und Collection ist ein Mitglied von ** Collection %n{nicht}
(=> (and (meceCollection ?COLL1 ?COLL2) (member ?MEMBER ?COLL2) (instance ?MEMBER SelfConnectedObject)) (instance ?MEMBER Collection))	UXExperimentalTerms.kif 4620-4625	Wenn meceCollection Collection and Collection und Physical ist ein Mitglied von Collection %n{nicht} und Physical ist ein fall von SelfConnectedObject %n{nicht}, dann ** Physical ist ein fall von Collection %n{nicht}
(=> (instance ?OBJ SelfConnectedObject) (side (BackFn ?OBJ) ?OBJ))	Merge.kif 910-912	Wenn SelfConnectedObject ist ein fall von SelfConnectedObject %n{nicht}, dann eine seite von SelfConnectedObject ist die rueckseite von SelfConnectedObject
(=> (instance ?OBJ SelfConnectedObject) (side (FrontFn ?OBJ) ?OBJ))	Merge.kif 891-893	Wenn SelfConnectedObject ist ein fall von SelfConnectedObject %n{nicht}, dann eine seite von SelfConnectedObject ist die frontseite von SelfConnectedObject

consequent

(=> (and (equal ?OBJ (MereologicalSumFn ?PART1 ?PART2)) (connected ?PART1 ?PART2)) (instance ?OBJ SelfConnectedObject))	Merge.kif 9543-9547	Wenn Object ist gleich die vereinigung von den teilen von Object und Object %n{nicht} und Object wird an Object angeschlossen, dann ** Object ist ein fall von SelfConnectedObject %n{nicht}
(=> (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	Wenn PartialVacuum ist ein attribut von Object %n{nicht}, dann es gibt Object, Object,, , RealNumber,, , RealNumber, and und UnitOfMeasure um Object ist ein fall von SelfConnectedObject %n{nicht} und Object ist ein fall von Region %n{nicht} und Object ist gleich Object nicht und Object wird an Object angeschlossen und Object wird an Object angeschlossen und das mass von Object ist RealNumber UnitOfMeasure(s) %n{nicht} und das mass von Object ist RealNumber UnitOfMeasure(s) %n{nicht} und UnitOfMeasure ist ein fall von UnitOfAtmosphericPressure %n{nicht} und RealNumber ist groesserAls ** RealNumber %n{nicht}
(=> (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	Wenn Pressurized ist ein attribut von Object %n{nicht}, dann es gibt Object, Object,, , RealNumber,, , RealNumber, and und UnitOfMeasure um Object ist ein fall von SelfConnectedObject %n{nicht} und Object ist ein fall von Region %n{nicht} und Object ist gleich Object nicht und Object wird an Object angeschlossen und Object wird an Object angeschlossen und das mass von Object ist RealNumber UnitOfMeasure(s) %n{nicht} und das mass von Object ist RealNumber UnitOfMeasure(s) %n{nicht} und UnitOfMeasure ist ein fall von UnitOfAtmosphericPressure %n{nicht} und RealNumber ist groesserAls ** RealNumber %n{nicht}
(=> (instance ?COMBINE Combining) (exists (?OBJ) (and (instance ?OBJ SelfConnectedObject) (patient ?COMBINE ?OBJ))))	Merge.kif 12497-12502	Wenn Process ist ein fall von Combining %n{nicht}, dann es gibt Entity um Entity ist ein fall von SelfConnectedObject %n{nicht} und Entity ist ein patient von ** Process %n{nicht}
(=> (instance ?LABEL Label) (exists (?OBJ) (and (instance ?OBJ SelfConnectedObject) (connected ?LABEL ?OBJ) (refers ?LABEL ?OBJ))))	Mid-level-ontology.kif 14476-14482	Wenn Object ist ein fall von Label %n{nicht}, dann es gibt Object um Object ist ein fall von SelfConnectedObject %n{nicht} und Object wird an Object angeschlossen und Object umfasst einen hinweis auf ** Object
(=> (instance ?SEPARATE Separating) (exists (?OBJ) (and (instance ?OBJ SelfConnectedObject) (patient ?SEPARATE ?OBJ))))	Merge.kif 12513-12518	Wenn Process ist ein fall von Separating %n{nicht}, dann es gibt Entity um Entity ist ein fall von SelfConnectedObject %n{nicht} und Entity ist ein patient von ** Process %n{nicht}

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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

KB Term:			Term intersection

English Word: