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. Cars.kif 3447-3476
No TPTP formula. May not be expressible in strict first order. Merge.kif 13676-13676 Radiating sound is a subclass of radiating
No TPTP formula. May not be expressible in strict first order. Music.kif 1348-1348 Ringing is a subclass of radiating sound
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 764-764 Musical tone is a subclass of radiating sound
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 770-770 Radiating sound ultrasonic is a subclass of radiating sound
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2630-2630 Echoing is a subclass of radiating sound
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3051-3051 Thunder is a subclass of radiating sound
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13090-13090 Clapping is a subclass of radiating sound
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23861-23861 Barking is a subclass of radiating sound
No TPTP formula. May not be expressible in strict first order. Merge.kif 13696-13696 Making music is a subclass of radiating sound
No TPTP formula. May not be expressible in strict first order. Merge.kif 13715-13715 Vocalizing is a subclass of radiating sound


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