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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Relation

Sigma KEE - Relation
Relation(关系)

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 2160-2161 关系 分拆成不相交的 二元关系, 三元关系, 四元关系, 五元关系, 和 不定次元关系
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1816-1819
No TPTP formula. May not be expressible in strict first order. Merge.kif 2165-2169
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 434-437
No TPTP formula. May not be expressible in strict first order. Merge.kif 2162-2162 关系 详尽无遗地 partition谓语函数
No TPTP formula. May not be expressible in strict first order. Merge.kif 2163-2163 关系 详尽无遗地 partition总值关系部分值关系
No TPTP formula. May not be expressible in strict first order. Merge.kif 2159-2159 关系抽象体subclass

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 2232-2232 二元关系关系subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 2558-2558 可继承的关系关系subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 2671-2671 有意图的关系关系subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 965-965 基于PPP的经济估值关系subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 2223-2223 部分值关系关系subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 3339-3339 谓语关系subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 2564-2564 概率关系关系subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 2861-2861 四元关系关系subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 2868-2868 五元关系关系subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 3533-3533 延伸数量关系关系subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 2176-2176 单值关系关系subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 2656-2656 空间关系关系subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 2663-2663 时间关系关系subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 2854-2854 三元关系关系subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 2194-2194 总值关系关系subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 3522-3522 不定次元关系关系subclass
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 888-888
No TPTP formula. May not be expressible in strict first order. english_format.kif 978-978
No TPTP formula. May not be expressible in strict first order. french_format.kif 564-564
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 94-94
No TPTP formula. May not be expressible in strict first order. terms-it.txt 97-97
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2249-2249
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 516-516
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 99-99

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31377-31377 applicableRelation 的 2 数量 是 关系instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 412-412 不相交关系 的 1 数量 是 关系instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 413-413 不相交关系 的 2 数量 是 关系instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 208-208 定义域 的 1 数量 是 关系instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 230-230 子类别的定义域 的 1 数量 是 关系instance
No TPTP formula. May not be expressible in strict first order. Media.kif 2069-2069 exactCardinality 的 1 数量 是 关系instance
No TPTP formula. May not be expressible in strict first order. Media.kif 2193-2193 maxCardinality 的 1 数量 是 关系instance
No TPTP formula. May not be expressible in strict first order. Media.kif 2156-2156 minCardinality 的 1 数量 是 关系instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 171-171 子关系 的 1 数量 是 关系instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 172-172 子关系 的 2 数量 是 关系instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 361-361 配价 的 1 数量 是 关系instance

appearance as argument number 4
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 1670-1670 抽象体 分拆成不相交的 数量, 属性, 关系, 命题, 和 串列


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