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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - NonCompositeUnitOfMeasure
NonCompositeUnitOfMeasure

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 5920-5923
No TPTP formula. May not be expressible in strict first order. Merge.kif 5918-5918 NonCompositeUnitOfMeasure is a subclass of constant quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 5917-5917 NonCompositeUnitOfMeasure 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 2503-2503 PH value is an instance of NonCompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6020-6020 UnitOfAngularMeasure is a subclass of NonCompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6010-6010 UnitOfCurrency is a subclass of NonCompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6041-6041 UnitOfDuration is a subclass of NonCompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6035-6035 UnitOfInformation is a subclass of NonCompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order. Merge.kif 5949-5949 UnitOfLength is a subclass of NonCompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order. Merge.kif 5961-5961 UnitOfMass is a subclass of NonCompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order. Merge.kif 5997-5997 UnitOfTemperature is a subclass of NonCompositeUnitOfMeasure

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 5925-5925 Unit of measure is exhaustively partitioned into CompositeUnitOfMeasure and NonCompositeUnitOfMeasure

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10346-10357
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10315-10326
No TPTP formula. May not be expressible in strict first order. Merge.kif 6163-6167
No TPTP formula. May not be expressible in strict first order. Merge.kif 5933-5937