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

Formal Language: 



Term 1: Term 2:

No TPTP formula. May not be expressible in strict first order. Biography.kif 730-740
No TPTP formula. May not be expressible in strict first order. Media.kif 1894-1898
No TPTP formula. May not be expressible in strict first order. Merge.kif 15405-15405 Texto e' uma sub-classe de Expressao Linguistica
No TPTP formula. May not be expressible in strict first order. Merge.kif 15406-15406 Texto e' uma sub-classe de Objeto Representendo Conteudo Abstrato
No TPTP formula. May not be expressible in strict first order. Merge.kif 15407-15407 Texto e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 921-921 JointPublication e' uma sub-classe de Texto
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 993-993 Doctrine e' uma sub-classe de Texto
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1025-1025 ChairmanPublication e' uma sub-classe de Texto
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 687-687 Lyrics e' uma sub-classe de Texto
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 698-698 Paragraph e' uma sub-classe de Texto
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7897-7897 ChristianGospel e' uma sub-classe de Texto
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9292-9292 Prescription e' uma sub-classe de Texto
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14447-14447 MusicText e' uma sub-classe de Texto
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14499-14499 Label e' uma sub-classe de Texto
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14512-14512 FormText e' uma sub-classe de Texto
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14672-14672 Serie e' uma sub-classe de Texto
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14704-14704 Artigo e' uma sub-classe de Texto
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14951-14951 NarrativeText e' uma sub-classe de Texto
No TPTP formula. May not be expressible in strict first order. Merge.kif 1392-1392 Filme e' uma sub-classe de Texto
No TPTP formula. May not be expressible in strict first order. Merge.kif 15427-15427 FactualText e' uma sub-classe de Texto
No TPTP formula. May not be expressible in strict first order. Merge.kif 15455-15455 FictionalText e' uma sub-classe de Texto
No TPTP formula. May not be expressible in strict first order. Merge.kif 15632-15632 Resumo e' uma sub-classe de Texto
No TPTP formula. May not be expressible in strict first order. Merge.kif 15679-15679 Certificado e' uma sub-classe de Texto
No TPTP formula. May not be expressible in strict first order. Geography.kif 3034-3034 TreatyDocument e' uma sub-classe de Texto
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2287-2287 CalendarText e' uma sub-classe de Texto
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4222-4222 Spam e' uma sub-classe de Texto
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 3012-3012 LiveTestUpdate e' uma sub-classe de Texto


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