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

Formal Language: 



KB Term:  Term intersection
English Word: 

  subSystem

 Sigma KEE - subSystem
subSystem

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


(documentation subSystem ChineseLanguage "(subSystem ?SUB ?SYSTEM) 的意思是 PhysicalSystem ?SUB 是 PhysicalSystem ?SYSTEM 的一部分。") chinese_format.kif 2387-2388
(documentation subSystem EnglishLanguage "(subSystem ?SUB ?SYSTEM) means that the PhysicalSystem ?SUB is a part of the PhysicalSystem ?SYSTEM.") Merge.kif 6132-6133
(documentation subSystem JapaneseLanguage "(subSystem ?SUB ?SYSTEM) とは、PhysicalSystem ?SUB が PhysicalSystem ?SYSTEM の一部である、という意味である。") japanese_format.kif 1067-1068
(domain subSystem 1 PhysicalSystem) Merge.kif 6129-6129 Il numero 1 argomenti di subSystem è un istanza di PhysicalSystem
(domain subSystem 2 PhysicalSystem) Merge.kif 6130-6130 Il numero 2 argomenti di subSystem è un istanza di PhysicalSystem
(instance subSystem BinaryPredicate) Merge.kif 6128-6128 subSystem è un' istanza di PredicatoBinario

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


(format ChineseLanguage subSystem "%2 %n 是 %1 的 sub 系统") domainEnglishFormat.kif 2399-2399
(format ChineseTraditionalLanguage subSystem "%2 %n 是 %1 的 sub 系統") domainEnglishFormat.kif 2398-2398
(format EnglishLanguage subSystem "%2 is %n a sub system of %1") domainEnglishFormat.kif 2397-2397
(termFormat ChineseLanguage subSystem "子系统") domainEnglishFormat.kif 55838-55838
(termFormat ChineseTraditionalLanguage subSystem "子系統") domainEnglishFormat.kif 55837-55837
(termFormat EnglishLanguage subSystem "sub system") domainEnglishFormat.kif 55836-55836

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


(=>
    (and
        (subSystem ?S ?T)
        (routeInSystem ?P ?S))
    (routeInSystem ?P ?T))		 Transportation.kif 2792-2796
(=>
    (and
        (subSystem ?SUB ?SYSTEM)
        (systemPart ?PART ?SUB))
    (systemPart ?PART ?SYSTEM))		 Merge.kif 6143-6147


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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