Term Intersection : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(subclass Procedure Proposition) Merge.kif 16777-16777 Procedure ist eine teilkategorie von Proposition
(subclass BestMatchAlgorithm Procedure) UXExperimentalTerms.kif 2269-2269 BestMatchAlgorithm ist eine teilkategorie von Procedure
(subclass CodingScheme Procedure) QoSontology.kif 2164-2164 CodingScheme ist eine teilkategorie von Procedure
(subclass EncodingProcedure Procedure) QoSontology.kif 2255-2255 EncodingProcedure ist eine teilkategorie von Procedure
(subclass Orthography Procedure) Mid-level-ontology.kif 690-690 Orthography ist eine teilkategorie von Procedure
(subclass ComputerProgram Procedure) Merge.kif 16783-16783 ComputerProgram ist eine teilkategorie von Procedure
(subclass Plan Procedure) Merge.kif 16798-16798 Plan ist eine teilkategorie von Procedure
(subclass Method Procedure) engineering.kif 1161-1161 Method ist eine teilkategorie von Procedure
(subclass ComputerProtocol Procedure) ComputingBrands.kif 1718-1718 ComputerProtocol ist eine teilkategorie von Procedure
(subclass Software Procedure) ComputerInput.kif 808-808 Software ist eine teilkategorie von Procedure


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