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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - BinaryRelation

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 2222-2224
(documentation BinaryRelation JapaneseLanguage "BinaryRelation は relation で、 それは ペアのもののみ当てはまる。 BinaryRelation は、フレームシステムのスロットとして表される。") japanese_format.kif 451-452
(subclass BinaryRelation InheritableRelation) Merge.kif 2220-2220 2項関係InheritableRelationsubclass では %n
(subclass BinaryRelation Relation) Merge.kif 2219-2219 2項関係関係subclass では %n

appearance as argument number 2

(disjointDecomposition Relation BinaryRelation TernaryRelation QuaternaryRelation QuintaryRelation VariableArityRelation) Merge.kif 2147-2148 関係2項関係, 三進法関係, 4変数関係, 5進法関係, + 可変項数関係disjointly decomposed %n
(instance actionTendency BinaryRelation) emotion.kif 155-155 actionTendency2項関係instance では %n
(instance burnInPeriod BinaryRelation) UXExperimentalTerms.kif 4505-4505 burnInPeriod2項関係instance では %n
(instance catalogItem BinaryRelation) Catalog.kif 44-44 catalogItem2項関係instance では %n
(instance catalyst BinaryRelation) VirusProteinAndCellPart.kif 206-206 catalyst2項関係instance では %n
(instance categoryID BinaryRelation) UXExperimentalTerms.kif 203-203 categoryID2項関係instance では %n
(instance containsFormula BinaryRelation) Law.kif 20-20 containsFormula2項関係instance では %n
(instance deviceOS BinaryRelation) ComputingBrands.kif 726-726 deviceOS2項関係instance では %n
(instance emotionTendency BinaryRelation) emotion.kif 139-139 emotionTendency2項関係instance では %n
(instance experimentID BinaryRelation) UXExperimentalTerms.kif 4219-4219 experimentID2項関係instance では %n
(instance hardwareType BinaryRelation) QoSontology.kif 1021-1021 hardwareType2項関係instance では %n
(instance hazardous BinaryRelation) Geography.kif 5772-5772 hazardous2項関係instance では %n
(instance inhibits BinaryRelation) Law.kif 181-181 inhibits2項関係instance では %n
(instance listingBidder BinaryRelation) UXExperimentalTerms.kif 123-123 listingBidder2項関係instance では %n
(instance listingBuyer BinaryRelation) UXExperimentalTerms.kif 92-92 listingBuyer2項関係instance では %n
(instance listingSeller BinaryRelation) UXExperimentalTerms.kif 56-56 listingSeller2項関係instance では %n
(instance locationMeasuringList BinaryRelation) Weather.kif 1767-1767 locationMeasuringList2項関係instance では %n
(instance measuringListDuration BinaryRelation) Weather.kif 1876-1876 measuringListDuration2項関係instance では %n
(instance measuringListInterval BinaryRelation) Weather.kif 1858-1858 measuringListInterval2項関係instance では %n
(instance measuringResult BinaryRelation) Weather.kif 1804-1804 measuringResult2項関係instance では %n
(instance medicine BinaryRelation) Mid-level-ontology.kif 9591-9591 medicine2項関係instance では %n
(instance permits BinaryRelation) Law.kif 33-33 permits2項関係instance では %n
(instance physicalEnd BinaryRelation) Merge.kif 17818-17818 physicalEnd2項関係instance では %n
(instance prohibits BinaryRelation) Law.kif 55-55 prohibits2項関係instance では %n
(instance punishes BinaryRelation) Law.kif 137-137 punishes2項関係instance では %n

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 3692-3692 equivalenceRelationOn の数値 1 引数は 2項関係instance では %n
(domain inverse 1 BinaryRelation) Merge.kif 111-111 inverse の数値 1 引数は 2項関係instance では %n
(domain inverse 2 BinaryRelation) Merge.kif 112-112 inverse の数値 2 引数は 2項関係instance では %n
(domain partialOrderingOn 1 BinaryRelation) Merge.kif 3629-3629 partialOrderingOn の数値 1 引数は 2項関係instance では %n
(domain reflexiveOn 1 BinaryRelation) Merge.kif 3590-3590 reflexiveOn の数値 1 引数は 2項関係instance では %n
(domain totalOrderingOn 1 BinaryRelation) Merge.kif 3646-3646 totalOrderingOn の数値 1 引数は 2項関係instance では %n
(domain trichotomizingOn 1 BinaryRelation) Merge.kif 3668-3668 trichotomizingOn の数値 1 引数は 2項関係instance では %n

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