Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Lecture

Sigma KEE - SpatialRelation
SpatialRelationخَاصِيَّة حَيِّزِيَّة, خَاصِيَّة مَكَانِيَّة, خَاصِيَّة فَضَائِيَّة, بُعْد, وِجْهَة نَظَر, مسافة, ترْتِيب مكانِي, مُخطّط, تصْمِيم, ترْتِيب, حيِّزِيّ, فضائِيّ, حيِّزِيّاً, فضائِيّاً, مكانِيّاً,

appearance as argument number 1
-------------------------


(documentation SpatialRelation ChineseLanguage "这是一个广义的空间 Relation Class,这个 Class 包括分体论关系和拓扑关系。") Merge.kif 2817-2818
(documentation SpatialRelation EnglishLanguage "The Class of Relations that are spatial in a wide sense. This Class includes mereological relations and topological relations.") Merge.kif 2814-2816
(subclass SpatialRelation InheritableRelation) Merge.kif 2813-2813
(subclass SpatialRelation Relation) Merge.kif 2812-2812

appearance as argument number 2
-------------------------


(instance BackFn SpatialRelation) Merge.kif 925-925
(instance FrontFn SpatialRelation) Merge.kif 899-899
(instance HoleHostFn SpatialRelation) Merge.kif 9811-9811
(instance HoleSkinFn SpatialRelation) Merge.kif 9985-9985
(instance MereologicalDifferenceFn SpatialRelation) Merge.kif 9700-9700
(instance MereologicalProductFn SpatialRelation) Merge.kif 9678-9678
(instance MereologicalSumFn SpatialRelation) Merge.kif 9655-9655
(instance WhereFn SpatialRelation) Merge.kif 4327-4327
(instance absoluteHeight SpatialRelation) MilitaryDevices.kif 1453-1453
(instance beforeOnPath SpatialRelation) Mid-level-ontology.kif 27509-27509
(instance between SpatialRelation) Merge.kif 4249-4249
(instance betweenOnPath SpatialRelation) Merge.kif 4275-4275
(instance connected SpatialRelation) Merge.kif 9397-9397
(instance connects SpatialRelation) Merge.kif 9420-9420
(instance contains SpatialRelation) Merge.kif 1025-1025
(instance covers SpatialRelation) Mid-level-ontology.kif 27479-27479
(instance cylinderBore SpatialRelation) Cars.kif 1567-1567
(instance distance SpatialRelation) Merge.kif 7834-7834
(instance havePartTypes SpatialRelation) Mid-level-ontology.kif 21268-21268
(instance hole SpatialRelation) Merge.kif 9727-9727
(instance initialPart SpatialRelation) Mid-level-ontology.kif 21217-21217
(instance initiallyContainsPart SpatialRelation) Mid-level-ontology.kif 21244-21244
(instance larger SpatialRelation) Merge.kif 7903-7903
(instance orientation SpatialRelation) Merge.kif 17085-17085
(instance part SpatialRelation) Merge.kif 950-950

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent
-------------------------


(=>
    (and
        (instance ?REL BinaryPredicate)
        (instance ?REL SpatialRelation)
        (?REL ?OBJ1 ?OBJ2))
    (overlapsTemporally
        (WhenFn ?OBJ1)
        (WhenFn ?OBJ2)))
Merge.kif 8364-8369


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners