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 不相交分解 Relation, BinaryRelation, TernaryRelation, QuaternaryRelation, QuintaryRelation and VariableArityRelation
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 劃分 Relation, Predicate and Function
No TPTP formula. May not be expressible in strict first order. Merge.kif 2163-2163 劃分 Relation, TotalValuedRelation and PartialValuedRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2159-2159 子類 Relation and Abstract

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 2232-2232 子類 BinaryRelation and Relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2558-2558 子類 可繼承的關係 and Relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2671-2671 子類 有意圖的關係 and Relation
No TPTP formula. May not be expressible in strict first order. Economy.kif 965-965 子類 基於PPP的經濟估值 and Relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2223-2223 子類 PartialValuedRelation and Relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3339-3339 子類 Predicate and Relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2564-2564 子類 ProbabilityRelation and Relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2861-2861 子類 QuaternaryRelation and Relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2868-2868 子類 QuintaryRelation and Relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3533-3533 子類 RelationExtendedToQuantities and Relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2176-2176 子類 SingleValuedRelation and Relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2656-2656 子類 SpatialRelation and Relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2663-2663 子類 TemporalRelation and Relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2854-2854 子類 TernaryRelation and Relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2194-2194 子類 TotalValuedRelation and Relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3522-3522 子類 VariableArityRelation and Relation
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 and Relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 412-412 域 不相交的關係, 1 and Relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 413-413 域 不相交的關係, 2 and Relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 208-208 域 域, 1 and Relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 230-230 域 域子類, 1 and Relation
No TPTP formula. May not be expressible in strict first order. Media.kif 2069-2069 域 exactCardinality, 1 and Relation
No TPTP formula. May not be expressible in strict first order. Media.kif 2193-2193 域 maxCardinality, 1 and Relation
No TPTP formula. May not be expressible in strict first order. Media.kif 2156-2156 域 minCardinality, 1 and Relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 171-171 域 子關係, 1 and Relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 172-172 域 子關係, 2 and Relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 361-361 域 價, 1 and Relation

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1670-1670 不相交分解 Abstract, Quantity, Attribute, Relation, Proposition and List


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