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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BinaryRelation
BinaryRelation(relation binaire)

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 Relation binaire est une sous-classe de InheritableRelation
(subclass BinaryRelation Relation) Merge.kif 2232-2232 Relation binaire est une sous-classe de relation

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


(disjointDecomposition Relation BinaryRelation TernaryRelation QuaternaryRelation QuintaryRelation VariableArityRelation) Merge.kif 2160-2161 Relation est disjointement decompos� en relation binaire, relation ternaire, relation quaternaire, relation quinternaire, + relation a arit� variable
(instance catalyst BinaryRelation) VirusProteinAndCellPart.kif 251-251 catalyst est une instance de relation binaire
(instance deviceOS BinaryRelation) ComputingBrands.kif 726-726 deviceOS est une instance de relation binaire
(instance hardwareType BinaryRelation) QoSontology.kif 1021-1021 hardwareType est une instance de relation binaire
(instance physicalEnd BinaryRelation) Merge.kif 17955-17955 physicalEnd est une instance de relation binaire
(instance recoveryKey BinaryRelation) ComputingBrands.kif 4419-4419 recoveryKey est une instance de relation binaire
(instance softwareVersion BinaryRelation) ComputingBrands.kif 3862-3862 softwareVersion est une instance de relation binaire
(instance suffers BinaryRelation) Mid-level-ontology.kif 29566-29566 suffers est une instance de relation binaire
(subclass AntisymmetricRelation BinaryRelation) Merge.kif 2292-2292 Relation antisym�trique est une sous-classe de relation binaire
(subclass BinaryPredicate BinaryRelation) Merge.kif 3479-3479 Pr�dicat binaire est une sous-classe de relation binaire
(subclass EconomicRelation BinaryRelation) Mid-level-ontology.kif 16899-16899 EconomicRelation est une sous-classe de relation binaire
(subclass IntransitiveRelation BinaryRelation) Merge.kif 2349-2349 Relation intransitive est une sous-classe de relation binaire
(subclass IrreflexiveRelation BinaryRelation) Merge.kif 2249-2249 Relation irr�flexive est une sous-classe de relation binaire
(subclass ReflexiveRelation BinaryRelation) Merge.kif 2239-2239 Relation r�flexive est une sous-classe de relation binaire
(subclass SymmetricRelation BinaryRelation) Merge.kif 2260-2260 Relation sym�trique est une sous-classe de relation binaire
(subclass TransitiveRelation BinaryRelation) Merge.kif 2333-2333 Relation transitive est une sous-classe de relation binaire
(subclass TrichotomizingRelation BinaryRelation) Merge.kif 2310-2310 Relation trichotomique est une sous-classe de relation binaire
(subclass UnaryFunction BinaryRelation) Merge.kif 3359-3359 Function unaire est une sous-classe de relation binaire
(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 Le nombre 1 argument de equivalenceRelationOn est une instance de relation binaire
(domain inverse 1 BinaryRelation) Merge.kif 111-111 Le nombre 1 argument de inverse est une instance de relation binaire
(domain inverse 2 BinaryRelation) Merge.kif 112-112 Le nombre 2 argument de inverse est une instance de relation binaire
(domain partialOrderingOn 1 BinaryRelation) Merge.kif 3642-3642 Le nombre 1 argument de partialOrderingOn est une instance de relation binaire
(domain reflexiveOn 1 BinaryRelation) Merge.kif 3603-3603 Le nombre 1 argument de reflexiveOn est une instance de relation binaire
(domain totalOrderingOn 1 BinaryRelation) Merge.kif 3659-3659 Le nombre 1 argument de totalOrderingOn est une instance de relation binaire
(domain trichotomizingOn 1 BinaryRelation) Merge.kif 3681-3681 Le nombre 1 argument de trichotomizingOn est une instance de relation binaire


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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