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 2246-2248
(documentation BinaryRelation JapaneseLanguage "BinaryRelation は relation で、 それは ペアのもののみ当てはまる。 BinaryRelation は、フレームシステムのスロットとして表される。") japanese_format.kif 451-452
(subclass BinaryRelation InheritableRelation) Merge.kif 2244-2244 Relation binaire est une sous-classe de InheritableRelation
(subclass BinaryRelation Relation) Merge.kif 2243-2243 Relation binaire est une sous-classe de relation

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


(disjointDecomposition Relation BinaryRelation TernaryRelation QuaternaryRelation QuintaryRelation VariableArityRelation) Merge.kif 2171-2172 Relation est disjointement decompos� en relation binaire, relation ternaire, relation quaternaire, relation quinternaire, + relation a arit� variable
(instance angleOfFire BinaryRelation) MilitaryDevices.kif 249-249 angleOfFire est une instance de relation binaire
(instance catalyst BinaryRelation) VirusProteinAndCellPart.kif 255-255 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 1130-1130 hardwareType est une instance de relation binaire
(instance hasAccount BinaryRelation) QoSontology.kif 2201-2201 hasAccount est une instance de relation binaire
(instance recoveryKey BinaryRelation) ComputingBrands.kif 4414-4414 recoveryKey est une instance de relation binaire
(instance softwareVersion BinaryRelation) ComputingBrands.kif 3857-3857 softwareVersion est une instance de relation binaire
(instance suffers BinaryRelation) Mid-level-ontology.kif 31497-31497 suffers est une instance de relation binaire
(subclass AntisymmetricRelation BinaryRelation) Merge.kif 2303-2303 Relation antisym�trique est une sous-classe de relation binaire
(subclass BinaryPredicate BinaryRelation) Merge.kif 3494-3494 Pr�dicat binaire est une sous-classe de relation binaire
(subclass EconomicRelation BinaryRelation) Mid-level-ontology.kif 18287-18287 EconomicRelation est une sous-classe de relation binaire
(subclass IntransitiveRelation BinaryRelation) Merge.kif 2360-2360 Relation intransitive est une sous-classe de relation binaire
(subclass IrreflexiveRelation BinaryRelation) Merge.kif 2260-2260 Relation irr�flexive est une sous-classe de relation binaire
(subclass ReflexiveRelation BinaryRelation) Merge.kif 2250-2250 Relation r�flexive est une sous-classe de relation binaire
(subclass SymmetricRelation BinaryRelation) Merge.kif 2271-2271 Relation sym�trique est une sous-classe de relation binaire
(subclass TransitiveRelation BinaryRelation) Merge.kif 2344-2344 Relation transitive est une sous-classe de relation binaire
(subclass TrichotomizingRelation BinaryRelation) Merge.kif 2321-2321 Relation trichotomique est une sous-classe de relation binaire
(subclass UnaryFunction BinaryRelation) Merge.kif 3374-3374 Function unaire est une sous-classe de relation binaire
(termFormat ChineseLanguage BinaryRelation "二元关系") chinese_format.kif 892-892 Function unaire est une sous-classe de relation binaire
(termFormat EnglishLanguage BinaryRelation "binary relation") english_format.kif 986-986 Function unaire est une sous-classe de relation binaire
(termFormat FrenchLanguage BinaryRelation "relation binaire") french_format.kif 568-568 Function unaire est une sous-classe de relation binaire
(termFormat Hindi BinaryRelation "dvi-aadhaarI sambandha") terms-hindi.txt 98-98 Function unaire est une sous-classe de relation binaire
(termFormat ItalianLanguage BinaryRelation "RelazioneBinaria") terms-it.txt 101-101 Function unaire est une sous-classe de relation binaire

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 3720-3720 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 3657-3657 Le nombre 1 argument de partialOrderingOn est une instance de relation binaire
(domain reflexiveOn 1 BinaryRelation) Merge.kif 3618-3618 Le nombre 1 argument de reflexiveOn est une instance de relation binaire
(domain totalOrderingOn 1 BinaryRelation) Merge.kif 3674-3674 Le nombre 1 argument de totalOrderingOn est une instance de relation binaire
(domain trichotomizingOn 1 BinaryRelation) Merge.kif 3696-3696 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