TreeView Knowledge Base Browser - TwoDimensionalObject

appearance as argument number 1

(documentation TwoDimensionalObject EnglishLanguage "A real-world physical object with a very flat aspect. This includes drawings on paper, cave paintings and other surface alterations.")	Mid-level-ontology.kif 4770-4772
(externalImage TwoDimensionalObject "http://upload.wikimedia.org/wikipedia/ commons/ 9/ 9e/ Parabola.svg")	pictureList.kif 2049-2049
(subclass TwoDimensionalObject Object)	Mid-level-ontology.kif 4769-4769	TwoDimensionalObject はオブジェクトの subclass では %n

appearance as argument number 2

(termFormat ChineseLanguage TwoDimensionalObject "二维物体")	domainEnglishFormat.kif 59720-59720
(termFormat ChineseTraditionalLanguage TwoDimensionalObject "二維物體")	domainEnglishFormat.kif 59719-59719
(termFormat EnglishLanguage TwoDimensionalObject "two dimensional object")	domainEnglishFormat.kif 59718-59718

appearance as argument number 3

(domain sliceOfFigure 1 TwoDimensionalObject)	Mid-level-ontology.kif 4782-4782	sliceOfFigure の数値 1 引数は TwoDimensionalObject の instance では %n
(domain tangent 2 TwoDimensionalObject)	Mid-level-ontology.kif 4751-4751	tangent の数値 2 引数は TwoDimensionalObject の instance では %n

antecedent

(=> (and (instance ?O Object) (attribute ?O ConvexRoundShape) (surface ?TO ?O) (instance ?TO TwoDimensionalObject)) (forall (?P) (and (part ?P ?O) (attribute ?P GeometricPoint) (pointOfFigure ?P ?O) (meetsSpatially ?P ?O) (meetsSpatially ?P ?TO) (exists (?T) (tangent ?T ?TO)))))	Mid-level-ontology.kif 4791-4805	自己接続オブジェクトはオブジェクトの instance では %n ConvexRoundShape は自己接続オブジェクトの attribute では %n 自己接続オブジェクトは自己接続オブジェクトの surface では %n 自己接続オブジェクトは TwoDimensionalObject の instance では %n GeometricPoint GeometricPoint は自己接続オブジェクトの part では %n GeometricPoint は GeometricPoint の attribute では %n GeometricPoint の vertex は自己接続オブジェクトでは %n GeometricPoint は自己接続オブジェクトと meets %n{ない} GeometricPoint は自己接続オブジェクトと meets %n{ない} OneDimensionalFigure 自己接続オブジェクトの tangent は OneDimensionalFigure では %n
(=> (and (instance ?X Photocopier) (instrument ?COPY ?X) (instance ?COPY Photocopying) (patient ?COPY ?OBJ1) (instance ?OBJ1 TwoDimensionalObject) (instance ?OBJ1 VisualContentBearingObject) (containsInformation ?OBJ1 ?INFO)) (exists (?OBJ2 ?SHEET) (and (result ?COPY ?OBJ2) (instance ?OBJ2 TwoDimensionalObject) (instance ?OBJ2 VisualContentBearingObject) (containsInformation ?OBJ2 ?INFO) (located ?OBJ2 ?SHEET) (instance ?SHEET PrintedSheet))))	Mid-level-ontology.kif 26231-26247	オブジェクトは Photocopier の instance では %n オブジェクトは工程の instrument では %n 工程は Photocopying の instance では %n ContentBearingPhysical は工程の patient では %n ContentBearingPhysical は TwoDimensionalObject の instance では %n ContentBearingPhysical は VisualContentBearingObject の instance では %n ContentBearingPhysical は命題の情報を contains %n{ない} ContentBearingPhysical オブジェクト ContentBearingPhysical は工程の result では %n ContentBearingPhysical は TwoDimensionalObject の instance では %n ContentBearingPhysical は VisualContentBearingObject の instance では %n ContentBearingPhysical は命題の情報を contains %n{ない} ContentBearingPhysical はオブジェクトに located して %n オブジェクトは PrintedSheet の instance では %n
(=> (instance ?T TwoDimensionalObject) (attribute ?T TwoDimensionalFigure))	Mid-level-ontology.kif 4773-4775	オブジェクトは TwoDimensionalObject の instance では %n TwoDimensionalFigure はオブジェクトの attribute では %n

consequent

(=>
    (and
        (instance ?X Photocopier)
        (instrument ?COPY ?X)
        (instance ?COPY Photocopying)
        (patient ?COPY ?OBJ1)
        (instance ?OBJ1 TwoDimensionalObject)
        (instance ?OBJ1 VisualContentBearingObject)
        (containsInformation ?OBJ1 ?INFO))
    (exists (?OBJ2 ?SHEET)
        (and
            (result ?COPY ?OBJ2)
            (instance ?OBJ2 TwoDimensionalObject)
            (instance ?OBJ2 VisualContentBearingObject)
            (containsInformation ?OBJ2 ?INFO)
            (located ?OBJ2 ?SHEET)
            (instance ?SHEET PrintedSheet))))

Mid-level-ontology.kif 26231-26247

オブジェクトは Photocopier の instance では %n オブジェクトは工程の instrument では %n 工程は Photocopying の instance では %n ContentBearingPhysical は工程の patient では %n ContentBearingPhysical は TwoDimensionalObject の instance では %n ContentBearingPhysical は VisualContentBearingObject の instance では %n ContentBearingPhysical は命題の情報を contains %n{ない}
ContentBearingPhysical オブジェクト ContentBearingPhysical は工程の result では %n ContentBearingPhysical は TwoDimensionalObject の instance では %n ContentBearingPhysical は VisualContentBearingObject の instance では %n ContentBearingPhysical は命題の情報を contains %n{ない} ContentBearingPhysical はオブジェクトに located して %n オブジェクトは PrintedSheet の instance では %n

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: