|
| (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 |
|
|
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