TransitiveRelation |
![]() |
(instance starts TransitiveRelation) | Merge.kif 7645-7645 | |
(instance stored TransitiveRelation) | Mid-level-ontology.kif 12000-12000 | |
(instance subField TransitiveRelation) | Mid-level-ontology.kif 19033-19033 | |
(instance subGraph TransitiveRelation) | Merge.kif 5591-5591 | |
(instance subPlan TransitiveRelation) | Merge.kif 4478-4478 | |
(instance subProposition TransitiveRelation) | Merge.kif 4457-4457 | |
(instance successorAttributeClosure TransitiveRelation) | Merge.kif 693-693 | |
(instance successorClass TransitiveRelation) | Merge.kif 8483-8483 | |
(instance superficialPart TransitiveRelation) | Merge.kif 9099-9099 | |
(instance version TransitiveRelation) | Merge.kif 14582-14582 | |
(subclass EquivalenceRelation TransitiveRelation) | Merge.kif 2298-2298 | |
(subclass PartialOrderingRelation TransitiveRelation) | Merge.kif 2271-2271 | |
(termFormat ChineseLanguage TransitiveRelation "传递关系") | chinese_format.kif 899-899 | |
(termFormat EnglishLanguage TransitiveRelation "transitive relation") | english_format.kif 1010-1010 |
![]() |