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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BinaryRelation

Sigma KEE - BinaryRelation
BinaryRelation(binary relation)accession, association, base, basis, marital_bed, marital_relationship, relation

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


(documentation BinaryRelation ChineseLanguage " BinaryRelation 是只有在关系联系两样东西的时候 才算是真,框架理论以槽代表 BinaryRelation。") chinese_format.kif 1831-1832
(documentation BinaryRelation EnglishLanguage "BinaryRelations are relations that are true only of pairs of things. BinaryRelations are represented as slots in frame systems.") Merge.kif 2235-2237
(documentation BinaryRelation JapaneseLanguage "BinaryRelation は relation で、 それは ペアのもののみ当てはまる。 BinaryRelation は、フレームシステムのスロットとして表される。") japanese_format.kif 451-452
(subclass BinaryRelation InheritableRelation) Merge.kif 2233-2233 Binary relation is a subclass of inheritable relation
(subclass BinaryRelation Relation) Merge.kif 2232-2232 Binary relation is a subclass of relation

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


(disjointDecomposition Relation BinaryRelation TernaryRelation QuaternaryRelation QuintaryRelation VariableArityRelation) Merge.kif 2160-2161 Relation is disjointly decomposed into binary relation, ternary relation, quaternary relation, quintary relation, and variable arity relation
(instance catalyst BinaryRelation) VirusProteinAndCellPart.kif 251-251 catalyst is an instance of binary relation
(instance deviceOS BinaryRelation) ComputingBrands.kif 726-726 device OS is an instance of binary relation
(instance hardwareType BinaryRelation) QoSontology.kif 1021-1021 hardware type is an instance of binary relation
(instance physicalEnd BinaryRelation) Merge.kif 17933-17933 physical end is an instance of binary relation
(instance recoveryKey BinaryRelation) ComputingBrands.kif 4419-4419 recovery key is an instance of binary relation
(instance softwareVersion BinaryRelation) ComputingBrands.kif 3862-3862 software version is an instance of binary relation
(instance suffers BinaryRelation) Mid-level-ontology.kif 29578-29578 suffers is an instance of binary relation
(subclass AntisymmetricRelation BinaryRelation) Merge.kif 2292-2292 Antisymmetric relation is a subclass of binary relation
(subclass BinaryPredicate BinaryRelation) Merge.kif 3479-3479 Binary predicate is a subclass of binary relation
(subclass EconomicRelation BinaryRelation) Mid-level-ontology.kif 16900-16900 Economic relation is a subclass of binary relation
(subclass IntransitiveRelation BinaryRelation) Merge.kif 2349-2349 Intransitive relation is a subclass of binary relation
(subclass IrreflexiveRelation BinaryRelation) Merge.kif 2249-2249 Irreflexive relation is a subclass of binary relation
(subclass ReflexiveRelation BinaryRelation) Merge.kif 2239-2239 Reflexive relation is a subclass of binary relation
(subclass SymmetricRelation BinaryRelation) Merge.kif 2260-2260 Symmetric relation is a subclass of binary relation
(subclass TransitiveRelation BinaryRelation) Merge.kif 2333-2333 Transitive relation is a subclass of binary relation
(subclass TrichotomizingRelation BinaryRelation) Merge.kif 2310-2310 Trichotomizing relation is a subclass of binary relation
(subclass UnaryFunction BinaryRelation) Merge.kif 3359-3359 Unary function is a subclass of binary relation
(termFormat ChineseLanguage BinaryRelation "二元关系") chinese_format.kif 892-892
(termFormat EnglishLanguage BinaryRelation "binary relation") english_format.kif 986-986
(termFormat FrenchLanguage BinaryRelation "relation binaire") french_format.kif 568-568
(termFormat Hindi BinaryRelation "dvi-aadhaarI sambandha") terms-hindi.txt 98-98
(termFormat ItalianLanguage BinaryRelation "RelazioneBinaria") terms-it.txt 101-101
(termFormat JapaneseLanguage BinaryRelation "2項関係") japanese_format.kif 2253-2253

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(domain equivalenceRelationOn 1 BinaryRelation) Merge.kif 3705-3705 The number 1 argument of equivalence relation on is an instance of binary relation
(domain inverse 1 BinaryRelation) Merge.kif 111-111 The number 1 argument of inverse is an instance of binary relation
(domain inverse 2 BinaryRelation) Merge.kif 112-112 The number 2 argument of inverse is an instance of binary relation
(domain partialOrderingOn 1 BinaryRelation) Merge.kif 3642-3642 The number 1 argument of partial ordering on is an instance of binary relation
(domain reflexiveOn 1 BinaryRelation) Merge.kif 3603-3603 The number 1 argument of reflexive on is an instance of binary relation
(domain totalOrderingOn 1 BinaryRelation) Merge.kif 3659-3659 The number 1 argument of total ordering on is an instance of binary relation
(domain trichotomizingOn 1 BinaryRelation) Merge.kif 3681-3681 The number 1 argument of trichotomizing on is an instance of binary relation


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