Term Intersection : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3600-3605
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3596-3596 Coin is a subclass of currency
No TPTP formula. May not be expressible in strict first order. Economy.kif 2907-2907 Afghan afghani coin is a subclass of coin
No TPTP formula. May not be expressible in strict first order. Economy.kif 2909-2909 British pound coin is a subclass of coin
No TPTP formula. May not be expressible in strict first order. Economy.kif 2911-2911 Canadian dollar coin is a subclass of coin
No TPTP formula. May not be expressible in strict first order. Economy.kif 2913-2913 Euro cent coin is a subclass of coin
No TPTP formula. May not be expressible in strict first order. Economy.kif 2915-2915 Euro dollar coin is a subclass of coin
No TPTP formula. May not be expressible in strict first order. Economy.kif 2917-2917 French franc coin is a subclass of coin
No TPTP formula. May not be expressible in strict first order. Economy.kif 2919-2919 German mark coin is a subclass of coin
No TPTP formula. May not be expressible in strict first order. Economy.kif 2921-2921 Italian lira coin is a subclass of coin
No TPTP formula. May not be expressible in strict first order. Economy.kif 2923-2923 Japanese yen coin is a subclass of coin
No TPTP formula. May not be expressible in strict first order. Economy.kif 2925-2925 Tajik somoni coin is a subclass of coin
No TPTP formula. May not be expressible in strict first order. Economy.kif 2928-2928 United states cent coin is a subclass of coin
No TPTP formula. May not be expressible in strict first order. Economy.kif 2931-2931 United states five cent coin is a subclass of coin
No TPTP formula. May not be expressible in strict first order. Economy.kif 2934-2934 United states ten cent coin is a subclass of coin
No TPTP formula. May not be expressible in strict first order. Economy.kif 2937-2937 United states quarter coin is a subclass of coin


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