Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  WaterCloud

 Sigma KEE - SpeedFn
SpeedFn

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2483-2485
No TPTP formula. May not be expressible in strict first order. Merge.kif 6662-6665
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1178-1180
No TPTP formula. May not be expressible in strict first order. Merge.kif 6658-6658 Le nombre 1 argument de SpeedFn est une instance de mesure de longueur
No TPTP formula. May not be expressible in strict first order. Merge.kif 6659-6659 Le nombre 2 argument de SpeedFn est une instance de dur�e temporel
No TPTP formula. May not be expressible in strict first order. Merge.kif 6657-6657 SpeedFn est une instance de fonction binaire
No TPTP formula. May not be expressible in strict first order. Merge.kif 6656-6656 SpeedFn est une instance de relation total
No TPTP formula. May not be expressible in strict first order. Merge.kif 6660-6660 Le domaine de SpeedFn est une instance de function de quantit�
No TPTP formula. May not be expressible in strict first order. Merge.kif 6655-6655 SpeedFn est une sous-relation de PerFn

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 659-659
No TPTP formula. May not be expressible in strict first order. english_format.kif 662-662
No TPTP formula. May not be expressible in strict first order. french_format.kif 396-396
No TPTP formula. May not be expressible in strict first order. relations-it.txt 267-267
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2126-2126
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 348-348
No TPTP formula. May not be expressible in strict first order. relations-de.txt 862-862
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 304-304
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 418-418
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 439-439
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 459-459
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54608-54608
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 660-660
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54607-54607
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54606-54606

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Cars.kif 2867-2885
No TPTP formula. May not be expressible in strict first order. Merge.kif 11192-11200
No TPTP formula. May not be expressible in strict first order. Weather.kif 136-145
No TPTP formula. May not be expressible in strict first order. Geography.kif 4899-4903
No TPTP formula. May not be expressible in strict first order. Weather.kif 115-123
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1718-1736
No TPTP formula. May not be expressible in strict first order. Geography.kif 3929-3937

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Weather.kif 1685-1691 Function de quantit� est nombre r�el MilesPerHour(s) function de quantit� est nombre r�el Mile(s) par 1 HourDuration(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17170-17191
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17198-17218
No TPTP formula. May not be expressible in strict first order. Weather.kif 125-130
No TPTP formula. May not be expressible in strict first order. Weather.kif 136-145
No TPTP formula. May not be expressible in strict first order. Geography.kif 4899-4903
No TPTP formula. May not be expressible in strict first order. Geography.kif 3939-3945
No TPTP formula. May not be expressible in strict first order. Merge.kif 6680-6682


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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