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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Crystal
Crystal

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


(documentation Crystal ChineseLanguage "Crystal Solid 是一种拥有 CrystallineStructureSubstance。") Geography.kif 6445-6446
(documentation Crystal EnglishLanguage "A Crystal Solid is a Substance with a CrystallineStructure.") Geography.kif 6442-6443
(subclass Crystal Substance) Geography.kif 6448-6448 subclass Crystal and Substance

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


(subclass Snowflake Crystal) Weather.kif 1562-1562 subclass Snowflake and Crystal
(termFormat ChineseLanguage Crystal "水晶") Geography.kif 6452-6452 termFormat ChineseLanguage, Crystal and "水晶"
(termFormat EnglishLanguage Crystal "crystal") Geography.kif 6450-6450 termFormat EnglishLanguage, Crystal and "crystal"

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


(=>
    (and
        (instance ?C Crystal)
        (attribute ?C MonoCrystalline)
        (instance ?Sub Substance)
        (attribute ?Sub Solid)
        (attribute ?Sub PolyCrystalline)
        (instance ?S Substance)
        (surface ?S ?Sub)
        (not
            (part ?C ?S)))
    (exists (?CLNT)
        (and
            (instance ?CLNT Collection)
            (memberCount ?CLNT ?X)
            (greaterThanOrEqualTo ?X 4)
            (=>
                (member ?MBR ?CLNT)
                (and
                    (part ?MBR ?Sub)
                    (meetsSpatially ?C ?MBR))))))
Geography.kif 6480-6500


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners