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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - NonCompositeUnitOfMeasure
NonCompositeUnitOfMeasure(non composite unit of measure)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2400-2401
No TPTP formula. May not be expressible in strict first order. Merge.kif 6185-6188
No TPTP formula. May not be expressible in strict first order. Merge.kif 6183-6183 Non composite unit of measure is a subclass of constant quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 6182-6182 Non composite unit of measure is a subclass of unit of measure

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 2546-2546 PH value is an instance of non composite unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6285-6285 Unit of angular measure is a subclass of non composite unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6275-6275 Unit of currency is a subclass of non composite unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6306-6306 Unit of duration is a subclass of non composite unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6300-6300 Unit of information is a subclass of non composite unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6214-6214 Unit of length is a subclass of non composite unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6226-6226 Unit of mass is a subclass of non composite unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6262-6262 Unit of temperature is a subclass of non composite unit of measure
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65289-65289

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 6190-6190 Unit of measure is exhaustively partitioned into composite unit of measure and non composite unit of measure

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13394-13405
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13363-13374
No TPTP formula. May not be expressible in strict first order. Merge.kif 6428-6432
No TPTP formula. May not be expressible in strict first order. Merge.kif 6198-6202