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 6545-6550
No TPTP formula. May not be expressible in strict first order. Merge.kif 6540-6540 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 6541-6541 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 6538-6538 Per is an instance of binary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 6539-6539 Per is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 6543-6543 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 6552-6552 Density is a subrelation of per
No TPTP formula. May not be expressible in strict first order. Merge.kif 6564-6564 Speed is a subrelation of per
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45085-45085
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45084-45084
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45083-45083

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 823-840
No TPTP formula. May not be expressible in strict first order. Catalog.kif 462-487
No TPTP formula. May not be expressible in strict first order. WMD.kif 803-810
No TPTP formula. May not be expressible in strict first order. WMD.kif 860-867

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


No TPTP formula. May not be expressible in strict first order. Catalog.kif 500-506
No TPTP formula. May not be expressible in strict first order. Weather.kif 1108-1122
No TPTP formula. May not be expressible in strict first order. Weather.kif 2939-2954
No TPTP formula. May not be expressible in strict first order. Catalog.kif 454-460
No TPTP formula. May not be expressible in strict first order. Catalog.kif 397-402

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1430-1430 The per of 0.0004 one millionth of a gram(s) and 1.0 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 13166-13170 1.0 Square mile(s) is equal to the per of 1.0 mile(s) and 1.0 mile(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13176-13180 1.0 Square yard(s) is equal to the per of 1.0 yard length(s) and 1.0 yard length(s)
No TPTP formula. May not be expressible in strict first order. WMD.kif 439-439 The per of 0.04 one millionth of a gram(s) and 1.0 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.0 1 thousand grams(s) is a lethal dose of botulinum toxin
No TPTP formula. May not be expressible in strict first order. WMD.kif 1831-1831 The per of 23.0 one thousandth of a gram(s) and 1.0 1 thousand grams(s) is a lethal dose of diacetoxyscirpenol
No TPTP formula. May not be expressible in strict first order. WMD.kif 431-431 The per of 3.0 one millionth of a gram(s) and 1.0 1 thousand grams(s) is a lethal dose of ricin toxin
No TPTP formula. May not be expressible in strict first order. WMD.kif 586-586 The per of 100.0 one millionth of a gram(s) and 1.0 1 thousand grams(s) is a lethal dose of sarin
No TPTP formula. May not be expressible in strict first order. WMD.kif 1330-1330 The per of 0.002 one millionth of a gram(s) and 1.0 1 thousand grams(s) is a lethal dose of shiga toxin
No TPTP formula. May not be expressible in strict first order. WMD.kif 582-582 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 1431-1431 The per of 0.02 one millionth of a gram(s) and 1.0 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 1836-1836 The per of 5.2 one thousandth of a gram(s) and 1.0 1 thousand grams(s) is a lethal dose of t2 toxin
No TPTP formula. May not be expressible in strict first order. WMD.kif 599-599 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