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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PerFn
PerFn

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2476-2479
No TPTP formula. May not be expressible in strict first order. Merge.kif 6355-6360
No TPTP formula. May not be expressible in strict first order. Merge.kif 6350-6350 The number 1 argument of per is an instance of physical quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 6351-6351 The number 2 argument of per is an instance of physical quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 6348-6348 Per is an instance of binary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 6349-6349 Per is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 6353-6353 The range of per is an instance of function quantity

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1935-1935
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1934-1934
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1933-1933
No TPTP formula. May not be expressible in strict first order. Merge.kif 6362-6362 Density is a subrelation of per
No TPTP formula. May not be expressible in strict first order. Merge.kif 6374-6374 Speed is a subrelation of per
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45080-45080
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45079-45079
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45078-45078

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 818-835
No TPTP formula. May not be expressible in strict first order. Catalog.kif 458-483
No TPTP formula. May not be expressible in strict first order. WMD.kif 798-805
No TPTP formula. May not be expressible in strict first order. WMD.kif 855-862

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


No TPTP formula. May not be expressible in strict first order. Catalog.kif 496-502
No TPTP formula. May not be expressible in strict first order. Weather.kif 1109-1123
No TPTP formula. May not be expressible in strict first order. Weather.kif 2933-2948
No TPTP formula. May not be expressible in strict first order. Catalog.kif 450-456
No TPTP formula. May not be expressible in strict first order. Catalog.kif 393-398

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. WMD.kif 1375-1375 The per of 0.0004 one millionth of a gram(s) and 1 1 thousand grams(s) is an effective dose of staphylococcal enterotoxin b
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10484-10488 1 Square mile(s) is equal to the per of 1 mile(s) and 1 mile(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10494-10498 1 Square yard(s) is equal to the per of 1 yard length(s) and 1 yard length(s)
No TPTP formula. May not be expressible in strict first order. WMD.kif 434-434 The per of 0.04 one millionth of a gram(s) and 1 1 thousand grams(s) is a lethal dose of abrin toxin
No TPTP formula. May not be expressible in strict first order. WMD.kif 310-310 The per of 2.0 one millionth of a gram(s) and 1.0 1 thousand grams(s) is a lethal dose of batrachotoxin
No TPTP formula. May not be expressible in strict first order. WMD.kif 325-325 The per of 0.001 one millionth of a gram(s) and 1 1 thousand grams(s) is a lethal dose of botulinum toxin
No TPTP formula. May not be expressible in strict first order. WMD.kif 1739-1739 The per of 23 one thousandth of a gram(s) and 1 1 thousand grams(s) is a lethal dose of diacetoxyscirpenol
No TPTP formula. May not be expressible in strict first order. WMD.kif 426-426 The per of 3.0 one millionth of a gram(s) and 1 1 thousand grams(s) is a lethal dose of ricin toxin
No TPTP formula. May not be expressible in strict first order. WMD.kif 581-581 The per of 100.0 one millionth of a gram(s) and 1 1 thousand grams(s) is a lethal dose of sarin
No TPTP formula. May not be expressible in strict first order. WMD.kif 1290-1290 The per of 0.002 one millionth of a gram(s) and 1 1 thousand grams(s) is a lethal dose of shiga toxin
No TPTP formula. May not be expressible in strict first order. WMD.kif 577-577 The per of 64.0 one millionth of a gram(s) and 1.0 1 thousand grams(s) is a lethal dose of soman
No TPTP formula. May not be expressible in strict first order. WMD.kif 1376-1376 The per of 0.02 one millionth of a gram(s) and 1 1 thousand grams(s) is a lethal dose of staphylococcal enterotoxin b
No TPTP formula. May not be expressible in strict first order. WMD.kif 1744-1744 The per of 5.2 one thousandth of a gram(s) and 1 1 thousand grams(s) is a lethal dose of t2 toxin
No TPTP formula. May not be expressible in strict first order. WMD.kif 594-594 The per of 15.0 one millionth of a gram(s) and 1.0 1 thousand grams(s) is a lethal dose of VX


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



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