TreeView Knowledge Base Browser

appearance as argument number 1

(disjoint SymmetricRelation AntisymmetricRelation)	Merge.kif 2261-2261	对称关系和 % 2 是 disjoint
(documentation SymmetricRelation ChineseLanguage "一个 BinaryRelation ?REL 属于对称关系只是当且仅当所有的 ?INST1 和 ?INST2 是 (?REL ?INST1 ?INST2) 意味着 (?REL ?INST2 ?INST1)。")	chinese_format.kif 1837-1838
(documentation SymmetricRelation EnglishLanguage "A BinaryRelation ?REL is symmetric just iff (?REL ?INST1 ?INST2) imples (?REL ?INST2 ?INST1), for all ?INST1 and ?INST2.")	Merge.kif 2263-2265
(documentation SymmetricRelation JapaneseLanguage "BinaryRelation ?REL は、すべての ?INST1 および ?INST2 に対して (?REL ?INST1 ?INST2) が (?REL ?INST2 ?INST1) の場合にのみ対称である。")	japanese_format.kif 457-458
(subclass SymmetricRelation BinaryRelation)	Merge.kif 2260-2260	对称关系是二元关系的 subclass

appearance as argument number 2

(instance cohabitant SymmetricRelation)	Mid-level-ontology.kif 22976-22976	同居是对称关系的 instance
(instance conjugate SymmetricRelation)	Mid-level-ontology.kif 6491-6491	共轭是对称关系的 instance
(instance connected SymmetricRelation)	Merge.kif 9524-9524	相连是对称关系的 instance
(instance connectedEngineeringComponents SymmetricRelation)	Merge.kif 16114-16114	相连工程子组件是对称关系的 instance
(instance consistent SymmetricRelation)	Merge.kif 16925-16925	一贯是对称关系的 instance
(instance coworker SymmetricRelation)	Mid-level-ontology.kif 22953-22953	同事是对称关系的 instance
(instance diplomaticRelations SymmetricRelation)	Government.kif 4543-4543	外交关系是对称关系的 instance
(instance disjoint SymmetricRelation)	Merge.kif 394-394	不相交是对称关系的 instance
(instance domesticPartner SymmetricRelation)	Mid-level-ontology.kif 23360-23360	国内的合作伙伴是对称关系的 instance
(instance enemy SymmetricRelation)	MilitaryProcesses.kif 2450-2450	enemy 是对称关系的 instance
(instance friend SymmetricRelation)	Mid-level-ontology.kif 22941-22941	朋友是对称关系的 instance
(instance independentProbability SymmetricRelation)	Merge.kif 2632-2632	独立发生机率是对称关系的 instance
(instance inverse SymmetricRelation)	Merge.kif 109-109	逆向是对称关系的 instance
(instance legalRelation SymmetricRelation)	Merge.kif 16540-16540	法律关系是对称关系的 instance
(instance meetsSpatially SymmetricRelation)	Merge.kif 9594-9594	接触是对称关系的 instance
(instance mutualAcquaintance SymmetricRelation)	Merge.kif 16567-16567	相识熟人是对称关系的 instance
(instance mutualStranger SymmetricRelation)	Mid-level-ontology.kif 23345-23345	相互陌生的人是对称关系的 instance
(instance neighbor SymmetricRelation)	Mid-level-ontology.kif 6662-6662	邻居是对称关系的 instance
(instance oppositeDirection SymmetricRelation)	Mid-level-ontology.kif 18123-18123	相反的方向是对称关系的 instance
(instance orthogonalTests SymmetricRelation)	UXExperimentalTerms.kif 4444-4444	orthogonalTests 是对称关系的 instance
(instance overlapsPartially SymmetricRelation)	Merge.kif 9632-9632	部分重叠是对称关系的 instance
(instance overlapsSpatially SymmetricRelation)	Merge.kif 4035-4035	重叠是对称关系的 instance
(instance overlapsTemporally SymmetricRelation)	Merge.kif 8248-8248	在时间上重叠是对称关系的 instance
(instance relatedEvent SymmetricRelation)	Merge.kif 3767-3767	相关事件是对称关系的 instance
(instance sibling SymmetricRelation)	Merge.kif 16485-16485	兄弟姐妹是对称关系的 instance

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

(=>
    (instance ?REL SymmetricRelation)
    (forall (?INST1 ?INST2)
        (=>
            (?REL ?INST1 ?INST2)
            (?REL ?INST2 ?INST1))))

Merge.kif 2267-2272

如果实体是对称关系的 instance，
然后对所有另一个实体和第三实体
- 如果那个实体那个另外实体 and 那个第三实体，
- 然后那个实体那个第三实体 and 那个另外实体

consequent

(=>
    (equivalenceRelationOn ?RELATION ?CLASS)
    (and
        (instance ?RELATION TransitiveRelation)
        (instance ?RELATION SymmetricRelation)
        (reflexiveOn ?RELATION ?CLASS)))

Merge.kif 3713-3718

如果二元关系和类是 EquivalenceRelation，
然后那个二元关系是传递关系的 instance 和那个二元关系是对称关系的 instance 和那个二元关系在那个类是自反关系

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

KB Term:			Term intersection

English Word: